Автор: Соар Р.И. Название: Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств. Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computable Generated Sets Издательство: Казань: Казанское математическое общество Год: 2000 Страниц: 576 Формат: djvu Размер: 24,3 Мб Язык: Русский
В книге описываются перспективные направления исследований теории вычислимости, излагается ее современное состояние, приводятся открытые проблемы. Материал дополнен большим количеством упражнений. Некоторые параграфы в частях А, В и С могут использоваться для семестрового или годового курса лекций. Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций: примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Хотя большая часть книги и не предполагает знакомства с логикой, читателю будет полезно её знание. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
Машины Тьюринга и рекурсивные функции Название: Машины Тьюринга и рекурсивные функции Автор: Эббинхауз Г.-Д., Якобе К., Ман Ф.-К., Хермес Г. Издательство: Мир Год: 1972 Cтраниц: 264...
Лекции о вычислимых функциях Название: Лекции о вычислимых функциях Автор: Успенский В.А. Издательство: М.: Государственное издательство физико-математической литературы Год:...
Многолистные функции Название: Многолистные функции Автор: Хейман У. К. Издательство: Издательство иностранной литературы Год: 1960 Формат: PDF Страниц: 183 Размер: 14.5...
Элементарные рекурсивные функции Название: Элементарные рекурсивные функции Автор: Марченков С.С. Издательство: МЦНМО ISBN: 5-94057-098-4 Год: 2003 Формат: PDF Страниц: 113 Размер:...
Теория алгоритмов (2009) Название: Теория алгоритмов Автор: Крупский В.Н., Плиско В.Е. Издательство: Академия Год: 2009 Страниц: 208 ISBN: 978-5-7695-5293-9 Формат: PDF...
Математическая логика и теория алгоритмов (2013) Название: Математическая логика и теория алгоритмов Автор: Крупский В.Н., Плиско В.Е. Издательство: Академия Год: 2013 Страниц: 418 Формат: pdf...
Введение в метаматематику Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год издания: 1957 Страниц: 524 Язык: Русский Формат:...
Навигация
Вход на сайт
Реклама
Вычислимо перечислимые множества и степени 
