Учебно-методический комплекс по дисциплине Элементы математической логики составлен в соответствии с требованиями к минимуму результатов освоения дисциплины, изложенными в Федеральном государственном стандарте среднего профессионального образования по специальности 09.02.03Программирование в компьютерных системах.

Учебно-методический комплекс по дисциплине Элементы математической логики адресован студентам очной формы обучения.

УМКД включает теоретический блок, примеры решения задач, задания для закрепления материала, перечень практических занятий, вопросы для самоконтроля, а также вопросы и задания по промежуточной и итоговой аттестации.