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