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

Материал из CSC Wiki
Версия от 09:58, 18 февраля 2021; Dkhalansky (обсуждение | вклад) (Практика Халанский)
Перейти к:навигация, поиск

Лекции

Преподаватель: Москвин Денис Николаевич (λxy.dmoskvinxgmailycom)@.

Слайды

Лекция 1. Логика высказываний 10.02.2021 (ср) 12:10-13:30, online

Лекция 2. Полные системы связок 17.02.2021 (ср) 12:10-13:30, online

Лекция 3. Исчисление высказываний гильбертовского типа 24.02.2021 (ср) 12:10-13:30, online

Лекция 4. Исчисление высказываний генценовского типа 03.03.2021 (ср) 12:10-13:30, online

Лекция 5. Интуиционистское исчисление высказываний 10.03.2021 (ср) 12:10-13:30, online

Лекция 6. Логика предикатов первого порядка 17.03.2021 (ср) 12:10-13:30, online

Лекция 7. Общезначимые формулы логики предикатов 24.03.2021 (ср) 12:10-13:30, online

Лекция 8. Исчисление предикатов гильбертовского типа 31.03.2021 (ср) 12:10-13:30, online

Лекция 9. Теорема Гёделя о полноте исчисления предикатов 07.04.2021 (ср) 12:10-13:30, online

Лекция 10. Секвенциальное исчисление предикатов 14.04.2021 (ср) 12:10-13:30, online

Лекция 11. Вычислимость, разрешимость, перечислимость 21.04.2021 (ср) 12:10-13:30, online

Лекция 12. Неразрешимые множества и их свойства 28.04.2021 (ср) 12:10-13:30, online

Лекция 13. Модели вычислений 12.05.2021 (ср) 12:10-13:30, online

Лекция 14. Рекурсивные функции 19.05.2021 (ср) 12:10-13:30, online

Литература

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

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

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

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

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

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

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

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


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

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


Листочки с занятий и домашки

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

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

Решения отсылать на почту. Туда же свободно задавайте вопросы и делайте предложения, всех прочитаю, всем отвечу. Мягкий дедлайн — полночь между понедельником и вторником.

Задания

1. задание исходник

2. презентация