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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Практика Халанский)
(Слайды)
Строка 14: Строка 14:
 
* [[Медиа:ItmoLogic2022-10.pdf|Лекция 10. Логика второго порядка]] 18.04.2022 (вт) 11:40-13:00, offline
 
* [[Медиа:ItmoLogic2022-10.pdf|Лекция 10. Логика второго порядка]] 18.04.2022 (вт) 11:40-13:00, offline
 
* [[Медиа: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
  
 
== Практика Халанский ==
 
== Практика Халанский ==

Версия 18:56, 14 мая 2022

Лекции

Слайды

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

d.khalansky+logic2022@gmail.com

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

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

Почта

Телега

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

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

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