Автор: Соар Р.И.
Название: Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств. Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computable Generated Sets
Издательство: Казань: Казанское математическое общество
Год: 2000
Страниц: 576
Формат: djvu
Размер: 24,3 Мб
Язык: Русский

В книге систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Книга содержит большое количество упражнений. Некоторые параграфы в частях А, В и С могут использоваться для семестрового или годового курса лекций. Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций: примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Хотя большая часть книги и не предполагает знакомства с логикой, читателю будет полезно её знание. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.