Математическая логика и теория вычислимости 5SE весна 2022 — различия между версиями
Материал из CSC Wiki
(→Практика Халанский) |
(→Практика Халанский) |
||
| (не показаны 4 промежуточные версии этого же участника) | |||
| Строка 15: | Строка 15: | ||
* [[Медиа:mlc11IFMO2021.pdf|Лекция 11. Понятия теории вычислимости (презентация Дениса Николаевича)]] 26.04.2022 (вт) 11:40-13:00, offline | * [[Медиа:mlc11IFMO2021.pdf|Лекция 11. Понятия теории вычислимости (презентация Дениса Николаевича)]] 26.04.2022 (вт) 11:40-13:00, offline | ||
* [[Медиа:ItmoLogic2022-12.pdf|Лекция 12. Квайны и машины Тьюринга]] ([[Медиа:ItmoLogic2022-12Listing.md|код с занятия]]) 17.05.2022 (вт) 11:40-13:00, online | * [[Медиа:ItmoLogic2022-12.pdf|Лекция 12. Квайны и машины Тьюринга]] ([[Медиа:ItmoLogic2022-12Listing.md|код с занятия]]) 17.05.2022 (вт) 11:40-13:00, online | ||
| + | * [[Медиа:ItmoLogic2022-13.pdf|Лекция 13. Рекурсивные функции]] 24.05.2022 (вт) 11:40-13:00, online | ||
== Практика Халанский == | == Практика Халанский == | ||
| Строка 31: | Строка 32: | ||
* Практика 8. Сколемизация, эрбранизация, элементарная арифметика. 06.04.2022 (вт) 13:30-14:50, offline. Домашнее задание не очень поддаётся автоматическому тестированию, поэтому основная часть [[Медиа:ItmoLogic2022-08HW.pdf|текстом]], только одно задание [[Медиа:ItmoLogic2022-08HW.hs|на программирование]]. | * Практика 8. Сколемизация, эрбранизация, элементарная арифметика. 06.04.2022 (вт) 13:30-14:50, offline. Домашнее задание не очень поддаётся автоматическому тестированию, поэтому основная часть [[Медиа:ItmoLogic2022-08HW.pdf|текстом]], только одно задание [[Медиа:ItmoLogic2022-08HW.hs|на программирование]]. | ||
* Практика 9. Секвенциальное исчисление предикатов, невыразимые предикаты. 12.04.22 (вт) 13:30-14:50, offline. Домашнее задание: [[Медиа:ItmoLogic2022-09HW.pdf|условие]]. | * Практика 9. Секвенциальное исчисление предикатов, невыразимые предикаты. 12.04.22 (вт) 13:30-14:50, offline. Домашнее задание: [[Медиа:ItmoLogic2022-09HW.pdf|условие]]. | ||
| − | * [[Медиа:ItmoLogic2022-10Pract.pdf|Практика 10. Логика второго порядка]]. 18.04.22 (вт) 13:30-14:50, offline. Домашнего задания нет, вместо него допзадачи. [[Медиа:ItmoLogic2022-02HWAdditional.hs|тема 2]] [[Медиа:ItmoLogic2022-03HWAdditional.hs|тема 3]] [[Медиа:ItmoLogic2022-04HWAdditional.hs|тема 4]] | + | * [[Медиа:ItmoLogic2022-10Pract.pdf|Практика 10. Логика второго порядка]]. 18.04.22 (вт) 13:30-14:50, offline. Домашнего задания нет, вместо него допзадачи. [[Медиа:ItmoLogic2022-02HWAdditional.hs|тема 2]] [[Медиа:ItmoLogic2022-03HWAdditional.hs|тема 3]] [[Медиа:ItmoLogic2022-04HWAdditional.hs|тема 4]] [[Медиа:ItmoLogic2022-07HWAdditional.pdf|тема 7]] [[Медиа:ItmoLogic2022-08HWAdditional.pdf|тема 8]] [[Медиа:ItmoLogic2022-11HWAdditional.md|тема 11]] [[Медиа:ItmoLogic2022-12HWAdditional.pdf|тема 12]] |
* [[Медиа:ItmoLogic2022-11Pract.md|Практика 11. Вычислимость]]. 26.04.22 (вт) 13:30-14:50, offline. Домашнее задание: [[Медиа:ItmoLogic2022-11HW.hs|условие]]. | * [[Медиа:ItmoLogic2022-11Pract.md|Практика 11. Вычислимость]]. 26.04.22 (вт) 13:30-14:50, offline. Домашнее задание: [[Медиа:ItmoLogic2022-11HW.hs|условие]]. | ||
* [[Медиа:ItmoLogic2022-12Pract.tar.gz|Практика 12. Машины Тьюринга]]. 17.05.22 (вт) 13:30-14:50, online. Домашнее задание: [[Медиа:ItmoLogic2022-12HW.pdf|условие]]. | * [[Медиа:ItmoLogic2022-12Pract.tar.gz|Практика 12. Машины Тьюринга]]. 17.05.22 (вт) 13:30-14:50, online. Домашнее задание: [[Медиа:ItmoLogic2022-12HW.pdf|условие]]. | ||
Текущая версия на 09:05, 11 июня 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
- Лекция 13. Рекурсивные функции 24.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 тема 7 тема 8 тема 11 тема 12
- Практика 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
