Введение в схемы, автоматы и алгоритмы

Введение в схемы, автоматы и алгоритмы

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

Задачи
Содержание раздела