Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика, часть II
6. Теория алгоритмов
Поставить закладку
6.1. Примитивно рекурсивные и частично рекурсивные функции
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
4. Секвенциальное исчисление предикатов (ИПС)
+
5. Исчисление высказываний гильбертовского типа
6. Теория алгоритмов
-
6.1. Примитивно рекурсивные и частично рекурсивные функции
6.2. Рекурсивные множества и предикаты
6.3. Методы построения п.р.ф. и о.р.ф
6.4. Канторовская нумерация пар и функция Гёделя
6.5. Универсальные функции
6.6. Рекурсивно перечислимые множества
6.7. Тезис Чёрча и вычислимые функции
7. Неразрешимость арифметики и теорема Гёделя о неполноте
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*