Рабочая программа дисциплины разработана в соответствии с требованиями государственных образовательных стандартов высшего профессионального образования по направлению подготовки дипломированного специалиста 650000 - техника и технологии и направлению подготовки бакалавра 550000 - технические науки. В сборнике приводятся задания на контрольную работу и методические указания к ее выполнению по разделам: алгебра логики, теория графов, автоматы