Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Odifreddi P. — Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers
Odifreddi P. — Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers

Автор: Odifreddi P.

Аннотация:

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.

Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular G?del's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 2nd

Год издания: 1992

Количество страниц: 690

Добавлена в каталог: 11.07.2017

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте