| Дата и время | Занятие | Место | Материалы |
|---|---|---|---|
| 23 сентября 10:00–11:35 |
Теорема о рекуррентных оценках. Машина Тьюринга. Основы теории вычислимости. Основы теории сложности вычислений, Лекция | ПОМИ РАН | слайды |
| 30 сентября 10:00–11:35 |
Ещё немного теории сложности вычислений. Конечные автоматы, Лекция | ПОМИ РАН | слайды |
| 07 октября 10:00–11:35 |
Пропозициональная логика (Исчисление высказываний), Лекция | ПОМИ РАН | слайды |
| 14 октября 10:00–11:35 |
Исчисление предикатов, Лекция | ПОМИ РАН | слайды |
