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

Материал из CSC Wiki
Перейти к:навигация, поиск
(Практика Халанский)
(Практика Халанский)
 
(не показано 5 промежуточных версий этого же участника)
Строка 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-12Pract.tar.gz|Практика 12. Машины Тьюринга]]. 17.05.22 (вт) 13:30-14:50, online. Домашнее задание: [[Медиа:ItmoLogic2022-12HW.pdf|условие]].
  
 
== Практика Жаворонков ==
 
== Практика Жаворонков ==

Текущая версия на 09:05, 11 июня 2022

Лекции

Слайды

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

d.khalansky+logic2022@gmail.com

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

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

Почта

Телега

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

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

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