Математическая логика и теория алгоритмов. Вычислимые функции

Николай Верещагин Александр Шень

Математическая логика и теория алгоритмов. Вычислимые функции

бумажная книга
Проверить наличие на складах

Дата отгрузки на данный момент неизвестна.

Товар закончился у основного поставщика, и, после получения заказа от вас, мы закажем его у других поставщиков. Мы не можем гарантировать выполнение данного заказа, поэтому настоятельно не рекомендуем заказывать данный товар, используя предоплату (банковский перевод и т.п.). Заказ на такой товар действителен в течение 3 недель (если в течение 3 недель товар не придет, заказ будет отменен). Однако, это не означает, что товар нельзя заказать вновь, поскольку в некоторых случаях возможны и более поздние поставки.


Технические характеристики
Издательство:
МЦНМО
Дата выхода:
март 2008
ISBN:
978-5-94057-323-4
Тираж:
1 000 экземпляров
Объём:
192 страниц
Масса:
165 г
Размеры (В × Ш × Т):
20 × 13 × 1 см
Обложка:
мягкая

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



Полная версия

Мы принимаем
Подробнее об оплате

1996-2025 © OTALEX