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

== Лекции ==
Преподаватель: Москвин Денис Николаевич <code>(λxy.dmoskvinxgmailycom)@.</code>

=== Слайды ===

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

[[Медиа:mlc02IFMO2021.pdf|Лекция 2. Полные системы связок]] 
17.02.2021 (ср) 12:10-13:30, online

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

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

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

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

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

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

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

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

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

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

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

[[Медиа:mlc140IFMO2021.pdf|Лекция 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 с.


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

Жаворонков Эдгар: [mailto:edzhavoronkov@gmail.com почта] / [https://t.me/EdgarZhavoronkov telegram]

[https://docs.google.com/spreadsheets/d/1pyIJiCxVsj-A87cfD6lczF1LiuMLcl29_e8_VEOD5Vs/edit?usp=sharing Таблица с успеваемостью]

=== Правила игры ===
* Домашки присылаются на почту в формате pdf(LaTeX или markdown)
* Мягкий дедлайн -- 23:59:59 вторника перед парой(можно прислать исправления, после него -- не могу гарантировать)

=== Листочки с занятий и домашки ===
* [[Медиа:Logic2021-sem01.pdf|Листок с пары 11.02.2021]]
* [[Медиа:Logic2021-sem02.zip|Листок с пары 18.02.2021]]
* [[Медиа:Logic2021-sem03.zip|Листок с пары 25.02.2021]]

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

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

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

=== Задания ===

1. [[Медиа:Logic2021Khalansky01.pdf|задание]] [[Медиа:Logic2021Khalansky01.tex|исходник]]

2. [[Медиа:Logic2021Khalansky02.pdf|задание]] [[Медиа:Logic2021Khalansky02.tex|исходник]] [[Медиа:Logic2021Khalansky02.hs.gz|Haskell-часть]] [[Медиа:Logic2021Khalansky01Slides.pdf|презентация]]

3. [[Медиа:Logic2021Khalansky03.pdf|задание]] [[Медиа:Logic2021Khalansky03.tex|исходник]] [[Медиа:Logic2021Khalansky03.hs.gz|Haskell-часть]]