Избранные темы Computer Science
Санкт-Петербург / осень 2012, посмотреть все семестры

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