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

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

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

УДК

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

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

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

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

2 экз.

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

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

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

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

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

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

подробнее