Обучающийся должен изучить основные направления современных исследований в области теоретической информатики.