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

Лекции

Слайды

• Лекция 1. Логика высказываний (исходники) 15.02.2022 (вт) 11:40-13:00, online
• Лекция 2. Корректность и полнота. Структуры данных (код с занятия) 22.02.2022 (вт) 11:40-13:00, online
• Лекция 3. Исчисление высказываний (код с занятия) 01.03.2022 (вт) 11:40-13:00, online
• Лекция 4. Интуиционистское исчисление высказываний (исходники) 10.03.2022 (чт) 15:10-16:30, offline
• Лекция 5. Исчисление секвенций 15.03.2022 (вт) 11:40-13:00, offline
• Лекция 6. Логика предикатов 22.03.2022 (вт) 11:40-13:00, offline
• Лекция 7. Исчисление предикатов 29.03.2022 (вт) 11:40-13:00, offline
• Лекция 8. Полнота исчисления предикатов 05.04.2022 (вт) 11:40-13:00, offline
• Лекция 9. Секвенциальное исчисление предикатов 12.04.2022 (вт) 11:40-13:00, offline
• Лекция 10. Логика второго порядка 18.04.2022 (вт) 11:40-13:00, offline
• Лекция 11. Понятия теории вычислимости (презентация Дениса Николаевича) 26.04.2022 (вт) 11:40-13:00, offline
• Лекция 12. Квайны и машины Тьюринга (код с занятия) 17.05.2022 (вт) 11:40-13:00, online

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

d.khalansky+logic2022@gmail.com

Таблица с успеваемостью

• Практика 1. Логика высказываний (исходники) 15.02.2022 (вт) 13:30-14:50, online. Домашнее задание: https://classroom.github.com/a/i24jtWwf
• Практика 2. Полные системы связок и индукция (исходники, разбор) 22.02.2022 (вт) 13:30-14:50, online. Домашнее задание: https://classroom.github.com/a/1ngTLYlw
• Практика 3. Исчисление высказываний (разбор) 01.03.2022 (вт) 13:30-14:50, online. Домашнее задание: https://classroom.github.com/a/1NmynyNH
• Практика 4. Интуиционистское исчисление высказываний. 10.03.2022 (чт) 16:40-18:00, offline. Домашнее задание: условие Пока без тестов, но они и не нужны: скомпилировалось — работает. Если дорешаете до того, как сделаю classroom, посылайте на почту.
• Практика 5. Секвенциальное исчисление высказываний. 15.03.2022 (вт) 13:30-14:50, offline. Без домашнего задания.
• Практика 6. Логика предикатов. 22.03.2022 (вт) 13:30-14:50, offline. Домашнее задание: https://classroom.github.com/a/xzvO7e2e
• Практика 7. Исчисление предикатов. 20.03.2022 (вт) 13:30-14:50, offline. Домашнее задание в двух вариантах: на Haskell и текстом (исходник).
• Практика 8. Сколемизация, эрбранизация, элементарная арифметика. 06.04.2022 (вт) 13:30-14:50, offline. Домашнее задание не очень поддаётся автоматическому тестированию, поэтому основная часть текстом, только одно задание на программирование.
• Практика 9. Секвенциальное исчисление предикатов, невыразимые предикаты. 12.04.22 (вт) 13:30-14:50, offline. Домашнее задание: условие.
• Практика 10. Логика второго порядка. 18.04.22 (вт) 13:30-14:50, offline. Домашнего задания нет, вместо него допзадачи. тема 2 тема 3 тема 4
• Практика 11. Вычислимость. 26.04.22 (вт) 13:30-14:50, offline. Домашнее задание: условие.
• Практика 12. Машины Тьюринга. 17.05.22 (вт) 13:30-14:50, online. Домашнее задание: условие.

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

Почта

Телега

Таблица с успеваемостью

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

Для заданий, сданных до мягкого дедлайна, допускается один раз прислать исправления после проверки, выявившей ошибки или неточности. После -- я не готов гарантировать, что я их посмотрю

• Практика 01 и домашнее задание. Мягкий дедлайн -- 21.02.2022 (пн), 23:59. Жесткий дедлайн -- начало пары
• Практика 02 и домашнее задание полностью совпадает с группой Дмитрия
• Практика 03 и домашнее задание. Мягкий дедлайн -- 15.03.2022 (пн), 23:59. Жесткий дедлайн -- начало пары
• Практика 04 и домашнее задание. Мягкий дедлайн -- 16.03.2022 (ср), 23:59. Жесткий дедлайн -- 17.03.2022 (чт), 16:40
• Практика 05
• Практика 06 и домашнее задание полностью совпадает с группой Дмитрия
• Практика 07
• Практика 08 и домашнее задание. Мягкий дедлайн -- 11.04.2022 (пн), 23:59. Жесткий дедлайн -- начало пары
• Практика 09 и домашнее задание. Мягкий дедлайн -- 18.04.2022 (пн), 23:59. Жесткий дедлайн -- начало пары
• Практика 10
• Практика 11