Propositional proof complexity, autumn 2019

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