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