Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Вводный курс математической логики
ГЛАВА 5. ТЕОРИЯ АЛГОРИТМОВ
Предыдущая страница
Следующая страница
Table of contents
Введение
ГЛАВА 1. ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ
+
ГЛАВА 2. ЯЗЫКИ ПЕРВОГО ПОРЯДКА
+
ГЛАВА 3. ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ
+
ГЛАВА 4. ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ
+
ГЛАВА 5. ТЕОРИЯ АЛГОРИТМОВ
-
§ 1. Вычислимые функции
§ 2. Разрешимые множества
§ 3. Полуразрешимые множества
§ 4. Свойство пошагового выполнения алгоритма и его следствия
§ 5. Универсальная вычислимая функция
§ 6. Перечислимость множества теорем
§ 7. Машины Тьюринга
§ 8. Универсальная вычислимая по Тьюрингу функция
§ 9. Тезис Чёрча
Список рекомендуемой литературы
Предметный указатель
Данный блок поддерживает скрол*