| Date and time | Class|Name | Venue|short | Materials |
|---|---|---|---|
| 23 September 10:00–11:35 |
Теорема о рекуррентных оценках. Машина Тьюринга. Основы теории вычислимости. Основы теории сложности вычислений, Lecture | ПОМИ РАН | slides |
| 30 September 10:00–11:35 |
Ещё немного теории сложности вычислений. Конечные автоматы, Lecture | ПОМИ РАН | slides |
| 07 October 10:00–11:35 |
Пропозициональная логика (Исчисление высказываний), Lecture | ПОМИ РАН | slides |
| 14 October 10:00–11:35 |
Исчисление предикатов, Lecture | ПОМИ РАН | slides |
