Подробное описание документа

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - М. : МЦНМО, 1999. - (Современные лекционные курсы).
   Ч. 3 : Вычислимые функции. - 1999. - 173 с. - Библиогр.: с. 166-167. - ISBN 5-900916-39-1.

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.

УДК

510.57 Вычислимые (рекурсивные) функции

Предметные рубрики

• Рекурсивные функции

Общее кол-во в фондах

2 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - 3-е изд., стер. - М. : Изд-во МЦНМО, 2008. - (Современные лекционные курсы).
   Ч. 3 : Вычислимые функции. - 2008. - 189 с. - Библиогр.: с. 179-180. - ISBN 978-5-94057-323-4.

Кол-во в фондах 2 экз.

подробнее