Лекции по математической логике и теории алгоритмов (в 3-х частях)
Год: 1999-2000
Автор: Верещагин Н.К., Шень А.
Жанр: Учебное пособие для вузов
Издательство: М.: МЦНМО
ISBN: 5-900916-36-7, 5-900916-39-1, 5-900916-39-1
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Количество страниц: 124+291+177
Описание: Часть 1. Начала теории множеств
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности.
Часть 2. Языки и исчисления.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Часть 3. Вычислимые функции
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.
Тексты, составляющие книги, являются свободно распространяемыми.
Примеры страниц
Часть 1.
Часть 2.
Часть 3.
Оглавление
Часть 1.
Часть 2.
Часть 3.
Опубликовано группой