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

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

Отзывы

4.2
5 оценок
0
1
0
1
3
Антон07.06.2026
Незаменимое пособие по теме
Плюсы
Учебник в доступной форме излагает основы теории вычислимости, показывая ее глубокую связь с другими смежными математическими разделами, а именно теорией множеств, математической логикой, теорией формальных языков и исчислений. материал в хорошем смысле "разжевывается" и раскладывается по полочкам. Советую специалистам и студентам
Минусы
Не обнаружено

Описание и характеристики

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