Структуры данных и модели вычислений
Исторические сведенияТьюрингова модель переработки информации
Алгебра тьюринговых программ
Начальное математическое обеспечение
Методика доказательства правильности программ
Вычислимость и разрешимость
Вычисление числовых функций
Частично-рекурсивные функции
Универсальная тьюрингова программа и пример невычислимой функции
Об измерении алгоритмической сложности задач
Содержание раздела
