Математическая логика 5SE весна 2019

Материал из CSC Wiki
Перейти к:навигация, поиск

Лекции

Преподаватель: Москвин Денис Николаевич dmoskvin@gmail.com

Слайды

Лекция 1. Логика высказываний 06.02.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 2. Полные системы связок 13.02.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 3. Исчисление высказываний гильбертовского типа 20.02.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 4. Исчисление высказываний генценовского типа 27.02.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 5. Интуиционистское исчисление высказываний 06.03.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 6. Логика предикатов первого порядка 13.03.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 7. Общезначимые формулы логики предикатов 20.03.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 8. Исчисление предикатов гильбертовского типа 03.04.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 9. Теорема Гёделя о полноте исчисления предикатов 10.04.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 10. Секвенциальное исчисление предикатов 17.04.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 11. Вычислимость, разрешимость, перечислимость 24.04.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 12. Неразрешимые множества и их свойства 15.05.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 13. Модели вычислений 22.05.2019 (ср) 15:20-16:40, Таймс, белые доски

Лекция 14. Рекурсивные функции 29.05.2019 (ср) 15:20-16:40, Таймс, белые доски

Литература

Книги перечислены в убывающем порядке важности для изучения курса.

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. — МЦНМО, 2017. — 240 с.

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. — МЦНМО, 2012. — 160 с.

Герасимов А. Курс математической логики и теории вычислимости. — Лань, 2014. — 416 с.

Верещагин Н., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. — МЦНМО, 2017. — 112 с.

Колмогоров А. Н., Драгалин А. Г. Математическая логика. — М.:ЛЕНАНД УРСС, 2017. — 234 с.

Колмогоров А. Н., Драгалин А. Г. Математическая логика: Дополнительные главы. — М.:Едиториал УРСС, 2018. — 240 с.

Плиско В. Е., Хаханян В. Х. Интуиционистская логика. — М.: Изд-во при мех.-мат. ф-те МГУ, 2009. — 159 с.

Практика Жаворонков

Жаворонков Эдгар: почта / telegram

Таблица результатов

Материалы с занятий и домашние задания:

Правила игры

Сдача домашних заданий

  • На почту с указанием темы (без неё игнорируются)
  • В виде PDF-файлов (LaTeX)

Дедлайны

  • До мягкого дедлайна — можно отправлять исправления, постараюсь ответить
  • После мягкого дедлайна — проверка один раз; не уверен, что буду принимать исправления
  • После жёсткого дедлайна — не оцениваются

Зачет

  • Сдать все домашние задания, набрав не менее TBD% от общей суммы баллов

Практика Халанский

Почта: d.khalansky+logic@gmail.com

Успеваемость

Отправка решений

Тема письма: "Фамилия-НомерДомашнейРаботы"

Принимаются pdf, md и txt. Решения форматах, подобных doc, docx или odt, проверяться не будут. Решения заданий, которые предполагают написание программ, можно либо выкладывать в репозиторий -- тогда достаточно мне один раз прислать ссылку и я буду сам смотреть, появились ли там новые решения -- либо присылать исходный код на почту.

Конспекты

  • Отношения. pdf tex
  • Индукция. pdf tex
  • Исчисление высказываний. pdf tex
  • Несколько примеров выводов/контрпримеров в исчислениях высказываний. pdf tex
  • Исчисление предикатов. pdf tex
  • Невыразимые предикаты. pdf tex

Задания