City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Propositional proof complexity
Novosibirsk / autumn 2019, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login
TBA
Date and time Class|Name Venue|short Materials
17 October
16:20–17:55
Лекция 1, Lecture НГУ, 4117, НГУ, новый корпус video,  other
17 October
18:10–19:45
Лекция 2, Lecture НГУ, 4117, НГУ, новый корпус video,  other
18 October
16:20–17:55
Лекция 3, Lecture НГУ, 4117, НГУ, новый корпус video,  other
18 October
18:10–19:45
Лекция 4, Lecture НГУ, 4117, НГУ, новый корпус video,  other
19 October
16:20–17:55
Лекция 5, Lecture НГУ, 4117, НГУ, новый корпус video,  other
19 October
18:10–19:45
Лекция 6, Lecture НГУ, 4117, НГУ, новый корпус video,  other