Информатика и вычислительная техника
  • формат doc
  • размер 42,62 КБ
  • добавлен 13 декабря 2015 г.
Бухараев Н.Р. Рекурсивные функции. Часть 2
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом понятия «компьютерная программа». В качестве языка для написания алгоритмов используется псевдокод, близкий к реальным языкам программирования.
Похожие разделы