Справочная книга по математической логике, в 4 частях, часть 3, теория рекурсии, Барвайс Д., 1982

Справочная книга по математической логике, в 4-х частях, Барвайс Дж., часть III, теория рекурсии, 1982.

ПРЕДИСЛОВИЕ РЕДАКТОРА РУССКОГО ПЕРЕВОДА.

Понятие алгоритма становится в настоящее время одним из важнейших понятий как теоретической, так и прикладной математики. Это связано в первую очередь с современным развитием электронной вычислительной техники и необходимостью создания мощного математического обеспечения для этой техники. Немаловажными являются и связи теории алгоритмов с математической логикой и основаниями математики; точное математическое определение понятия алгоритма впервые было найдено в рамках формальных систем математической логики. Теория рекурсии — так называется этот третий том «Справочной книги по математической логике» — составляет теоретическую основу современного учения об алгоритмах.





§ 2. Машины Тьюринга.

Существует много эквивалентных способов формулировки определения рекурсивности. Формулировка, выраженная в терминах воображаемой вычислительной машины, была дана английским математиком Аланом Тьюрингом в его фундаментальной статье [1]. (Аналогичная работа была сделана одновременно, но независимо, Эмилем Постом из Нью-Йорка; см. Пост [1].) Главная трудность при нахождении этого определения была в том, что Тьюринг искал его до создания реальных цифровых вычислительных машин. На самом деле познание шло от абстрактного к конкретному: фон Нейман был знаком с работой Тьюринга, и сам Тьюринг позднее сыграл вдохновляющую роль в развитии вычислительных машин.

Оглавление.

Предисловие редактора русского перевода.
Введение.
Глава 1. ЭЛЕМЕНТЫ ТЕОРИИ РЕКУРСИИ. Герберт Б. Эндертон.
Глава 2. НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ. Мартин Девис.
Глава 3. РАЗРЕШИМЫЕ ТЕОРИИ. Михаэль О. Рабин.
Глава 4. СТЕПЕНИ НЕРАЗРЕШИМОСТИ. ОБЗОР РЕЗУЛЬТАТОВ Стивен Г. Симпсон.
Глава 5. ТЕОРИЯ а-РЕКУРСИИ. Ричард Л. Шор.
Глава 6. РЕКУРСИЯ В ВЫСШИХ ТИПАХ, Александр С. Кекрис, Яннио И. Московакис.
Глава 7. ВВЕДЕНИЕ В ТЕОРИЮ ИНДУКТИВНЫХ ОПРЕДЕЛЕНИЙ. Петер Ацел.
Дополнение. АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ В ТЕОРИИ ПОЛЕЙ (положительные аспекты). Ю, Л. Ершов.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Справочная книга по математической логике, в 4 частях, часть 3, теория рекурсии, Барвайс Д., 1982 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: Барвайс :: 1982 :: математика