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