Математическая логика и теория вычислимости 5SE весна 2021 — различия между версиями
(→Слайды) |
(→Практика Халанский) |
||
| Строка 89: | Строка 89: | ||
2. [[Медиа:Logic2021Khalansky02.pdf|задание]] [[Медиа:Logic2021Khalansky02.tex|исходник]] [[Медиа:Logic2021Khalansky02.hs.gz|Haskell-часть]] [[Медиа:Logic2021Khalansky01Slides.pdf|презентация]] | 2. [[Медиа:Logic2021Khalansky02.pdf|задание]] [[Медиа:Logic2021Khalansky02.tex|исходник]] [[Медиа:Logic2021Khalansky02.hs.gz|Haskell-часть]] [[Медиа:Logic2021Khalansky01Slides.pdf|презентация]] | ||
| + | |||
| + | 3. [[Медиа:Logic2021Khalansky03.pdf|задание]] [[Медиа:Logic2021Khalansky03.tex|исходник]] [[Медиа:Logic2021Khalansky03.hs.gz|Haskell-часть]] | ||
Версия 19:18, 25 февраля 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
Правила игры
- Домашки присылаются на почту в формате pdf(LaTeX или markdown)
- Мягкий дедлайн -- 23:59:59 вторника перед парой(можно прислать исправления, после него -- не могу гарантировать)
Листочки с занятий и домашки
Практика Халанский
Почта: d.khalansky+logic@gmail.com
Решения отсылать на почту. Туда же свободно задавайте вопросы и делайте предложения, всех прочитаю, всем отвечу. Мягкий дедлайн — полночь между понедельником и вторником.
