Внимание!

Контрольная работа не будет зачтена в следующих случаях:

1. Работа выполнена не по своему варианту.

2. Работа распечатана на принтере, откопирована полностью или частично на копире.

3. Работа написана неаккуратно, нечитаемым почерком.

4. Работа написана не лично, а третьим лицом.

5. Работа выполнена не в соответствии с приведенными требованиями.

6. Работа сдана позднее указанных сроков.

Образец титульного листа

Министерство образования и науки РФ

Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

Владимирский государственный университет

имени Александра Григорьевича и Николая Григорьевича Столетовых

Инновационный институт

Факультет информационных технологий

Кафедра информационных систем и информационного менеджмента

Контрольная работа

по дисциплине «Дискретная математика и математическая логика»

Вариант №____

Выполнил студент ____ курса, ____ группы

заочной формы обучения кафедры ИСИМ

______________________________________

(ФИО полностью разборчиво)

Зачетная книжка №_____________________

Сдана ________________________________

(дата сдачи работы)

Проверил______________________________

(ФИО преподавателя)

Подпись преподавателя__________________

Оценка _______________________________

Дата проверки__________________________

Владимир, 20____ г.

Виды заданий, указания по их выполнению и примеры

Контрольная работа включает три задания. Крайний срок сдачи выполненной контрольной работы на кафедру информационных систем и информационного менеджмента – за 14 дней до экзамена по дисциплине «Дискретная математика и математическая логика».

Первое задание контрольной работы для студентов-заочников по дискретной математике и математической логике требует доказать тождество (по вариантам). Варианты первого задания контрольной работы приведены в таблице 1.

Таблица 1. Варианты первого задания контрольной работы

№ варианта	Тождество для доказательства в первом задании

Согласно определению, два множества A и B равны в том случае, если они содержат одинаковые элементы. Однако в нашем случае множества заданы операциями над другими множествами, и сравнить их элементы представляется невозможным. В этом случае необходимо использовать следующее свойство:

Пусть множество A является подмножеством множества B ( xA  xB), а множество B, в свою очередь является подмножеством множества A ( xB  xA). В этом случае можно сказать, что множества A и B равны (A=B).

Таким образом, для доказательства тождества необходимо доказать, что первое множество есть подмножество второго множества. Затем необходимо доказать обратное, что первое множество включает в себя второе. Только на основе этих двух доказательств можно делать вывод о равенстве множеств.