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

Selected Topics in Computer Science
Saint Petersburg / autumn 2012, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

Целью этого курса является изложить некоторые классические результаты теоретической информатики, которые сочетают в себе (по возможности) разные качества * формулировку и доказательство можно понять за ограниченное время, у нас имеющееся * результат достаточно фундаментальный для того, чтобы практическим программистам стоило про него знать * результат не общеизвестный (последнее можно будет скорректировать по ходу дела)