Abstract Recursion and Intrinsic Complexity, Yiannis N. Moschovakis

Автор: Hinman
Название: Recursion-Theoretic Hierarchies
ISBN: 1107168244 ISBN-13(EAN): 9781107168244
Издательство: Cambridge Academ
Рейтинг:
Цена: 23918.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.

Автор: Chi Tat Chong, Liang Yu
Название: Recursion Theory: Computational Aspects of Definability
ISBN: 3110275554 ISBN-13(EAN): 9783110275551
Издательство: Walter de Gruyter
Цена: 20712.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory.The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.

Автор: Sacks
Название: Higher Recursion Theory
ISBN: 1107168430 ISBN-13(EAN): 9781107168435
Издательство: Cambridge Academ
Рейтинг:
Цена: 21542.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, -recursion, and E-recursion.

Автор: Klaus Ambos-Spies; Gert H. M?ller; Gerald E. Sacks
Название: Recursion Theory Week
ISBN: 3540527729 ISBN-13(EAN): 9783540527725
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These proceedings contain research and survey papers on recursion theory, with emphasis on degree theory, computational complexity theory, generalized recursion theory and recursive mathematics.

Автор: Ahmad-Reza Sadeghi; David Naccache; Pim Tuyls
Название: Towards Hardware-Intrinsic Security
ISBN: 3642265782 ISBN-13(EAN): 9783642265785
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hardware-intrinsic security is a young field dealing with secure secret key storage. This book features contributions from researchers and practitioners with backgrounds in physics, mathematics, cryptography, coding theory and processor theory.

Автор: Heinz-Dieter Ebbinghaus; Gert H. M?ller; Gerald E.
Название: Recursion Theory Week
ISBN: 3540156739 ISBN-13(EAN): 9783540156734
Издательство: Springer
Рейтинг:
Цена: 6981.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: D. Normann
Название: Recursion on the Countable Functionals
ISBN: 3540100199 ISBN-13(EAN): 9783540100195
Издательство: Springer
Рейтинг:
Цена: 3487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Fenstad
Название: General Recursion Theory
ISBN: 1107168163 ISBN-13(EAN): 9781107168169
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.

Автор: Chong Chitat Et Al
Название: E-Recursion, Forcing And C*-Algebras
ISBN: 9814602639 ISBN-13(EAN): 9789814602631
Издательство: World Scientific Publishing
Цена: 11088.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.

Автор: Kechris
Название: Ordinal Definability and Recursion Theory
ISBN: 1107033403 ISBN-13(EAN): 9781107033405
Издательство: Cambridge Academ
Рейтинг:
Цена: 26136.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Ordinal Definability and Recursion Theory is the third in a series of four books presenting the seminal papers from the Caltech-UCLA `Cabal Seminar` with extensive unpublished material, new papers on related topics, and discussion of research developments since the publication of the original volumes.