Вычислимые функции. Математическая логика и теория алгоритмов
Описание и характеристики
ID товара
2828099
Издательство
МЦНМО
Год издания
2020
ISBN
978-5-4439-0945-5
Количество страниц
160
Размер
0.7x14.3x20.9
Тип обложки
Мягкий переплёт
Тираж
1000
Вес, г
170
289 ₽
+ до 43 бонусов
Последний экземпляр
В магазины сети, бесплатно
СегодняАдреса магазинов
Другие способы доставки
Наличие в магазинах
за 289 ₽
Москва
Нет в наличии
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
3.7
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.