Odifreddi P. (EN) — Classical Recursion Theory
Тут можно читать онлайн книгу Odifreddi P. (EN) - Classical Recursion Theory - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.
Classical Recursion Theory краткое содержание
Classical Recursion Theory - описание и краткое содержание, автор Odifreddi P. (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.
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 Gdel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Classical Recursion Theory - читать онлайн бесплатно полную версию (весь текст целиком)
Classical Recursion Theory - читать книгу онлайн бесплатно, автор Odifreddi P. (EN)
Похожие книги на "Classical Recursion Theory", Odifreddi P. (EN)
Оставить отзыв
- Фантастика и Фэнтези
- Детективы и Триллеры
- Проза
- Любовные романы
- Приключения
- Детские
- Поэзия и драматургия
- Старинная литература
- Научно-образовательная
- Компьютеры и Интернет
- Справочная литература
- Документальная литература
- Религия и духовность
- Юмор
- Дом и Семья
- Деловая литература
- Жанр не определен
- Техника
- Прочее
- Драматургия
- Фольклор
- Военное дело