Курс предназначен для магистров технических специальностей института математики и информатики. Для изучения данной дисциплины необходимы базовые знания в области математической логики, теории алгоритмов, теории вычислительной сложности и алгоритмической теории информации.