Вариант 1.
-
С помощью диаграмм Эйлера-Венна показать результат следующих операций
А В
С
-
Доказать тождество:
. -
Множество
определяет
отношение на множестве
.
Найдите все упорядоченные пары ему
принадлежащие. -
Какие свойства выполняются для бинарного отношения «х+у - нечётное» на множестве R.
-
Докажите эквивалентность
~
. -
Запишите с помощью кванторов и предикатов следующее: «Яблоки либо сладкие, либо кислые».
-
Доказать, что
кратно 2 при
. -
Упростить
. -
Найти Д.Н.Ф. по таблице
-
а в с
f
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0
0
1
0
0
-
Доказать, что
- группа.
-
Найдите циклы в графе.
-
Изоморфны ли графы? Ответ обосновать.
-
Каждый студент по результатом работы над вариантом заданий отчитывается преподавателю.
Для заметок
Садыкова Альбина Рифовна
Методические указания
для практических занятий.
«Математическая логика
и теория алгоритмов»
Подписано к печати:
Тираж:
Заказ №