Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Name: Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Brand: Московский центр непрерывного математического образования (МЦНМО)
SKU: 1763622
Price: 12.22 BYN
Availability: InStock

(0 отзывов)

14.05 BYN

12.22 BYN

В корзину

Дата доставки.

Доставка в Минск: 07 Мая (Вт) - 08 Мая (Ср)

Доставка в регионы: 13 Мая (Пн) - 15 Мая (Ср)

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

Артикул

1763622

Издательство

Московский центр непрерывного математического образования (МЦНМО)

Серия

Современные лекционные курсы

Тип обложки

мягкая обложка

Автор

Верещагин Николай Константинович , Шень Александр

Штрих код

9785443909455