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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Задания)
(Задания)
Строка 112: Строка 112:
 
9. [[Медиа:Logic2021Khalansky09.pdf|задание]] [[Медиа:Logic2021Khalansky09.tex|исходник]], и можно досдавать №6 из предыдущей пачки.
 
9. [[Медиа:Logic2021Khalansky09.pdf|задание]] [[Медиа:Logic2021Khalansky09.tex|исходник]], и можно досдавать №6 из предыдущей пачки.
  
10. [[Медиа:Logic2021Khalansky10.hs.gz|задание]] Дополнительные задачи по логике: [[Медиа:Logic2021KhalanskyAdditional.pdf|задание]] [[Медиа:Logic2021KhalanskyAdditional.tex|исходник]]
+
10. [[Медиа:Logic2021Khalansky10.hs.gz|задание]] Дополнительные задачи по логике: [[Медиа:Logic2021KhalanskyAdditional.pdf|задание]] [[Медиа:Logic2021KhalanskyAdditional.tex|исходник]] Плюсы ставятся в соответствующую тему, пока там есть куда их ставить.

Версия 14:32, 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. Неразрешимые множества и их свойства 12.05.2021 (ср) 12:10-13:30, online

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

Лекция 14. Рекурсивные функции 26.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

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

Задания

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

2. задание исходник Haskell-часть презентация

3. задание исходник Haskell-часть пояснения к исчислению высказываний (пока что прошлогодние, см. раздел 4)

4. Haskell-часть Не забывайте `-Wall -fwarn-incomplete-patterns`. Если будете решать на другом языке, то для первой задачи нужно реализовать лемму о дедукции, а для всех остальных — теорему о полноте.

5. задание исходник Haskell-часть

6. задание исходник Haskell-часть Haskell-компаньон к лекции

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

8. задание исходник Haskell-часть пример вывода

9. задание исходник, и можно досдавать №6 из предыдущей пачки.

10. задание Дополнительные задачи по логике: задание исходник Плюсы ставятся в соответствующую тему, пока там есть куда их ставить.