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