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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Практика Жаворонков)
Строка 66: Строка 66:
 
== Практика Жаворонков ==
 
== Практика Жаворонков ==
  
Жаворонков Эдгар: [mailto:edzhavoronkov+itmo-logic-2019@gmail.com почта] / [https://t.me/EdgarZhavoronkov telegram]
+
Жаворонков Эдгар: [mailto:edzhavoronkov@gmail.com почта] / [https://t.me/EdgarZhavoronkov telegram]
 
 
  
 
== Практика Халанский ==
 
== Практика Халанский ==
  
 
Почта: [mailto:d.khalansky+logic@gmail.com d.khalansky+logic@gmail.com]
 
Почта: [mailto:d.khalansky+logic@gmail.com d.khalansky+logic@gmail.com]

Версия 19:39, 9 февраля 2021

Лекции

Преподаватель: Москвин Денис Николаевич (λ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