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



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

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

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






Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий