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

Selected Topics in Computer Science


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

Course Offerings

Semester Branch
spring 2014 Kazan