Предлагаемый курс основан на материале специальных курсов «Теория автоматов», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.