Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Избранные темы Computer Science


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

Прочтения курсов

Семестр
весна 2014