Рекурсивные функции. Часть 2
Бухараев Н.Р.
Казань: КГУ, 1999. 25 с.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом понятия «компьютерная программа». В качестве языка для написания алгоритмов используется псевдокод, близкий к реальным языкам программирования.
В учебном пособии кратко рассмотрены следующие вопросы: эффективная нумерация алгоритмов; теорема о параметризации; универсальный алгоритм; перечислимые и разрешимые множества; алгоритмически неразрешимые проблемы, в т.ч. теорема Райса; элементы математической логики. В пособии не уделяется внимания определению понятия «алгоритм», оно считается синонимом понятия «компьютерная программа». В качестве языка для написания алгоритмов используется псевдокод, близкий к реальным языкам программирования.
Categorie:
Lingua:
russian
File:
PDF, 277 KB
IPFS:
,
russian0
Litres
Vuole aggiungere una libreria? Contattaci su support@z-lib.fm
Converti i file
Più risultati di ricerca
Altri vantaggi 
