Лекции по математической логике и теории алгоритмов (4-е изд.)

#777
#777
#777
Год: 2012
Автор: Верещагин Н. К., Шень А.
Жанр: Лекции
Издательство: МЦНМО
ISBN: 978-5-4439-0012-4, 978-5-4439-0013-1, 978-5-4439-0014-8
Язык: Русский
Формат: PDF
Качество: Распознанный текст без ошибок (OCR)
Интерактивное оглавление: Да
Количество страниц: 512 (всего)
Описание: Книги взяты с официального сайта издательства МЦНМО, и в отличии от этой раздачи, данная содержит 4-ые издания книг 2012-ого года.

[size=122]Аннотация:

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

Часть 2. Языки и исчисления:
Книга написана по материалам лекций и семинаров, проводившихся
авторами для студентов младших курсов мехмата МГУ. В ней рассказы-
вается об основных понятиях математической логики (логика высказы-
ваний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изло-
жение рассчитано на учеников математических школ, студентов-матема-
тиков и всех интересующихся математической логикой. Книга содержит
около 200 задач различной трудности.
Предыдущее издание книги вышло в 2008 г.

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