Алгоритмы вычисления теоретико-числовых функций
Алгоритмы как формальные системы
Введение в формальные системы
Второй этап
Вычисляемая функция
Гипотическая вычислительная машина
Грамматика
Интерпретация множества предложений
Интерпретация формальной системы и теории
Интуитивное понятие алгоритма
Исчисление высказываний: интуитивный подход
Комбинаторные системы
Конечный автомат
Логические программы
Марковские алгоритмы
Математическая логика
Машина Тьюринга и вычислимость
Меры сложности вычислений
Первый этап
Правила де Моргана
Представление системы
Примитивно рекурсивное описание
Примитивно рекурсивные функции
Программы машин
Регулярные языки и автоматные грамматики
Рекурсивные и рекурсивно перечислимые множества и предикаты
Рекурсивные множества и функции
Синтаксические структуры
Сложность вычислений и элементы логического программирования
Структура языка и выражения
Тавтологическая эквивалентность
Тезис Черча
Тезис Черча
Теорема о существовании универсальной частично рекурсивной функции
Теории формальных грамматик
Формальные языки класса Р
Хорновские дизъюнкты
Челночные алгоритмы