
- •Дискретная математика Методические указания и контрольные задания для студентов I курса заочной формы обучения Оглавление
- •I.Краткие теоретические сведения
- •I.1.Множества и операции над ними
- •I.2.Бинарные отношения
- •1.Отношение эквивалентности
- •2.Отношение упорядоченности
- •3.Функции
- •I.3.Функции и формулы алгебры логики
- •I.4.Двойственные функции и совершенные нормальные формы
- •1.Принцип двойственности
- •2.Построение совершенных нормальных форм
- •I.5.Полнота и замкнутость систем функций алгебры логики
- •1.Полные системы функций алгебры логики
- •2.Важнейшие замкнутые классы
- •II.Задание к контрольной работе по дискретной математике
- •I. Множества и операции над ними.
- •III.Варианты контрольных работ Вариант №1
- •Вариант №2
- •Вариант №3
- •Вариант №4
- •Вариант №5
- •Вариант №6
- •Вариант №7
- •Вариант №8
- •Вариант №9
- •Вариант №10
- •Вариант №11
- •Вариант №12
- •Вариант №13
- •Вариант №14
- •IV.Пример решения контрольной работы
- •V.Список литературы
II.Задание к контрольной работе по дискретной математике
I. Множества и операции над ними.
Для заданных множеств А, В и С найти:
B \ C,
C \ B,
(А \ В) \ С,
А \ (В \ С),
А B,
А С,
B C,
A B C.
Изобразить на плоскости
Найти
считая
универсальным множеством множество
ℝ – всех
вещественных чисел (всю числовую ось).
Докажите тождество, используя диаграммы Эйлера – Венна.
II. Отношения. Функции. Отношения эквивалентности и упорядоченности.
Даны множества
и два бинарных отношения:
и
. Изобразите Р1, Р2 графически. Найдите Р1-1, Р2-1,
Определите, является ли отношение Р2 рефлексивным, транзитивным, симметричным, антисимметричным.
Даны отображения (числовые функции) ƒ, g: ℝ→ℝ. Найти композицию ƒ ◦ g, g ◦ ƒ, обратные отображения: ƒ–1, g-1, (ƒ ◦ g)-1, (g ◦ ƒ)-1. Для заданных множеств A, B ℝ найти f(A), g(A), ƒ –1(B), g-1(B). Найти неподвижные точки отображений.
III. Функции и формулы алгебры логики. Эквивалентность формул.
Составьте полную и сокращенную таблицы истинности формул.
Проверьте двумя способами, будут ли эквивалентны следующие формулы: а) составлением таблиц истинности; б) с помощью эквивалентных преобразований.
III.Варианты контрольных работ Вариант №1
I.1. А = [-3; 0] – отрезок числовой оси
В = (-1; 3] – полуинтервал на числовой оси
С = (-0.5; 4) – интервал на числовой оси
2.
II.1. Р1 = {(а, 2); (а, 3); (а, 4); (b, 3); (с, 1); (с, 4)}
Р2 = {(1, 1); (2, 3); (2, 2); (3, 4); (1, 4); (2, 4); (4, 2)}
2. f(x) = –(x + 1)2; g(x) = –x –2; А = [–1.5; 1]; В = [–2; –1]
III.1.
2. x → (y ↓ z) и (x → y ) ↓ (x → z)
Вариант №2
I.1. А = (0; 10] – полуинтервал на числовой оси
В = [–1; 5] – отрезок числовой оси
С = (–10; 2) – интервал на числовой оси
2. (А \ В)
(В \ С)
(В \ А)
(С \ В) = А
С
II.1. Р1 = {(b, 2); (а, 3); (b, 1); (b, 4); (с, 1); (с, 2); (с, 4)}
Р2 = {(1, 1); (1, 2); (1, 4); (2, 2); (2, 4); (3, 3); (3, 2); (3, 4); (4, 4)}
2. f(x) = (x + 1)2 – 1; g(x) = x + 1; А = [–1.5; 1]; В = [0; 1]
III.1.
2. x → (y ≡ z) и (x → y ) ≡ (x → z)
Вариант №3
I.1. А = {0, 1, 2, 3}– четырехэлементное множество
В = [–5; 3] – отрезок числовой оси
С = (0; 2) – интервал на числовой оси
2. (А \ В) (В \ С) (С \ А) = (В \ А) (С \ В) (А \ С)
II.1. Р1 = {(а, 3); (а, 2); (а, 4); (b 1); (с, 2); (с, 4); (с, 3)}
Р2 = {(1, 1); (2, 2); (2, 1); (3, 3); (4, 4); (4, 3); (1, 4); (2, 4); (3, 2); (3, 4)}
2. f(x) = (x + 1)2 + 1; g(x) = x + 3; А = [–1.5; 1]; В = [2; 3]
III.1.
2. x ≡ (y | z) и (x ≡ y) | (x ≡ z)
Вариант №4
I.1. А = (–1; +∞)– интервал на числовой оси
В = (–10; 10] – полуинтервал на числовой оси
С = [–5; +15] – отрезок числовой оси
2. (А
В)
(С
D)
= В
С, если А
В
= D и C
D
= A
II.1. Р1 = {(b, 1); (а, 3); (а, 4); (с, 2); (с, 4); (b, 4)}
Р2 = {(1, 1); (2, 3); (2, 2); (2, 4); (3, 3); (3, 4); (4, 2); (4, 4)}
2. f(x) = (x + 1)2; g(x) = x + 2; А = [–1.5; 1]; В = [1; 2]
III.1.
2. x ↓ (y | z) и (x ↓ y) | (x ↓ z)