Рабочая программа разработана в соответствии с государственными образовательными стандартами высшего профессионального образования подготовки дипломированного специалиста 654600 - ''Информатика и вычислительная техника'' (Специальность 220100 - ''Вычислительные машины, комплексы, системы и сети'') и направлению подготовки бакалавра 552800 - ''Информатика и вычислительная техника''. Методический сборник содержит рабочую программу, методические указания к изучению дисциплины, тематический план лекций, перечень основной и дополнительной литературы, задания на контрольные работы и методические указания к их выполнению. Рабочая программа раскрывает содержание основных разделов дисциплины по изучению логики высказываний и предикатов, формальных теорий и теории алгоритмов. Методические указания к выполнению контрольных работ содержат методические материалы, необходимые для правильного их выполнения и оформления
