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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Слайды)
(Практика Халанский)
(не показана 1 промежуточная версия этого же участника)
Строка 33: Строка 33:
 
* [[Медиа: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-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|условие]].
  
 
== Практика Жаворонков ==
 
== Практика Жаворонков ==

Версия 18:12, 17 мая 2022

Лекции

Слайды

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

d.khalansky+logic2022@gmail.com

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

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

Почта

Телега

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

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

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