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