Бухараев Н.Р. Рекурсивные функции. Часть 2

Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом понятия «компьютерная программа». В качестве языка для написания алгоритмов используется псевдокод, близкий к реальным языкам программирования.