Контрольная работа предназначена для студентов второго курса по специальности 230115 Программирование в компьютерных системах по дисциплине "Элементы математической логики". Контрольная работа предназначена для проверки знаний студентов по теме "Множества и отношения". Контрольная работа состоит из двух вариантов и содержит по 10 заданий в каждом варианте. Задания в вариантах однотипные и включают в себя как теоритические вопросы так и практические задачи. Задачи позволяют проверить усвоение студентами материала на выполнения операций над множествами, построение  различных матриц по заданному графу, работу с формулами по комбинаторике.