Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

4553

.pdf
Скачиваний:
5
Добавлен:
08.01.2021
Размер:
1.14 Mб
Скачать

1

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ

«ВОРОНЕЖСКИЙ ГОСУДАРСТВЕННЫЙ ЛЕСОТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ИМЕНИ Г. Ф. МОРОЗОВА»

МАТЕМАТИКА (СПЕЦИАЛЬНЫЕ РАЗДЕЛЫ)

ДИСКРЕТНАЯ МАТЕМАТИКА

Методические указания для самостоятельной работы студентов

по направлению подготовки

15.03.04 – Автоматизация технологических процессов и производств

Воронеж 2016

2

УДК 519.1

Веневитина, С.С. Математика (специальные разделы). Дискретная математика [Электронный ресурс] : методические указания для самостоятельной работы студентов по направлению подготовки 15.03.04 – Автоматизация технологических процессов и производств / С.С. Веневитина, И.В. Сапронов; М-во образования и науки РФ, ФГБОУ ВО «ВГЛТУ». – Воронеж, 2016. – 40 с.

Печатается по решению учебно-методического совета ФГБОУ ВО «ВГЛТУ» (прот)

Рецензент д-р физ.-мат. наук, профессор Воронежского государственного педагогического университета В.В. Обуховский

3

Оглавление

1.Теория множеств ……………..………………………………………………..…4

1.1.Теоретическая часть ……………………………………………………………4

1.2.Практическая часть …………………………………………………………….8

1.3.Индивидуальные задания ………………………………………………...…..10

2.Бинарные отношения …………………………………………………………...13

2.1.Теоретическая часть …………………………………………………………..13

2.2.Практическая часть …………………………………………………………...16

2.3.Индивидуальные задания …………………………………………………….20

3.Элементы математической логики …………………………………………….22

3.1.Теоретическая часть …………………………………………………………..22

3.2.Практическая часть …………………………………………………………...25

3.3.Задачи для самостоятельного решения ……………………………………...27

4.Булева алгебра …………………………………………………………………..30

4.1.Теоретическая часть …………………………………………………………..27

4.2. Практическая часть ………………………………………………………… ..36

4.3.Задачи для самостоятельного решения ……………………………………...38

Библиографический список………………………………………………………..40

4

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

Материалы данной учебно-методической разработки по содержанию, форме изложения и объѐму соответствуют задачам дисциплины и требованиям стандарта соответствующего направления подготовки.

1. Теория множеств 1.1. Теоретическая часть

Под множеством понимают совокупность различимых объектов любой природы, объединенных по какому – либо признаку, которые называют

элементами множества.

Множества принято обозначать прописными буквами А, В, С, . . . , а их элементы – малыми буквами а, b, с, . . . .

Запись а A означает, что объект а является элементом множества A (а принадлежит множеству А). Если объект b не принадлежит множеству B, то пишут b В.

Множество можно обозначить также, записав внутри фигурных скобок все его элементы или записав их свойства. Например, {2, 4, 6, . . . } – множество всех четных положительных чисел, { x x 2k 1для k } – множество всех нечетных чисел.

Множество, число элементов которого конечно, называют конечным. В противном случае множество называют бесконечным.

Бесконечные множества делятся на счетные и несчетные. Если элементы бесконечного множества можно пронумеровать с помощью натурального ряда чисел, то оно называется счетным, в противном случае – несчетным.

В разделе математики, называемом дискретной математикой, рассматриваются конечные и счетные множества.

Если каждый элемент множества А есть элемент множества В, то А называют подмножеством множества В и пишут А В.

5

Если А В и В А, то множества А и В называют равными и пишут А = В, иначе пишут А В. Если А В, А В, то пишут А В.

Множество, не содержащее ни одного элемента, называется пустым и обозначается Ø или V. Пустое множество считается конечным множеством и подмножеством любого множества.

Если А В, А Ø, то множество А называется собственным подмножеством множества В.

Пустое множество и множество А называются несобственными подмножествами множества А.

Множество, содержащее все элементы, находящиеся в рассмотрении, называется универсальным и обозначается U.

Число всех подмножеств любого конечного множества, содержащего n элементов, равно 2n. Так, например, для множества {a1, a2, a3} всеми его подмножествами являются V, {a1}, {a2}, {a3}, {a1, a2}, {a1, a3}, {a2, a3}, {a1, a2, a3} = U.

Операции над множествами

Объединением (суммой) множеств A и B называется множество A B , состоящее из всех элементов, принадлежащих хотя бы одному из множеств А, В:

A B {x x A или x B}.

В частности, A Ø = А, A U U.

Пересечением (произведением) множеств A и В называется множество A B , состоящее из всех элементов, принадлежащих как множеству А, так и множеству В:

A B {x x A и x B}.

В частности, A Ø = Ø, A U = A.

Дополнением множества A называется множество A , состоящее из всех элементов универсального множества U, не принадлежащих множеству А:

A {x x U и x A}.

Заметим, что A A U, A A Ø.

Разностью множеств A и В называется множество A \ B, состоящее из всех элементов множества А, не принадлежащих множеству В:

6

A \ B {x x A и x B}.

Перечисленные операции проиллюстрируем диаграммами Эйлера – Венна (рис. 1.1).

A B

A B

 

A \ B

A

Рис. 1.1. Диаграммы Эйлера – Венна Отметим порядок выполнения операций над множествами: 1) дополнение

( ), 2) пересечение ( ), 3) объединение ( ), разность ( \ ).

Укажем основные свойства операций объединения, пересечения и дополнения:

1. Ассоциативность операций объединения и пересечения:

 

A (B C) (A B) C, A (B C) (A B) C.

2.

Коммутативность операций объединения и пересечения:

 

 

A B B A, A B B A.

3.

Законы идемпотентности:

 

 

A A A, A A A.

4.

Законы дистрибутивности:

 

A (B C) (A B) (A C),

 

A (B C) (A B) (A C).

5.

Законы поглощения:

 

A (A B) A, A (A B) A.

6.

Законы де Моргана:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A B A B, A B A B.

7. Закон двойного дополнения: A A.

Отметим еще две важные операции над множествами – декартово произведение и симметрическую разность.

7

Декартовым (прямым) произведением множеств A и B называется множество A B, состоящее из всех упорядоченных пар (x, y), где x A, y B :

A B {(x, y) x A и y B}.

Аналогично вводятся понятия декартова произведения n сомножителей и декартовой степени множества:

A1 A2 . . . An {(a1, a2, . . .,an ) a1 A1, a2 A2, . . .,an An}, A A . . . A An (для n сомножителей).

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

A B = (A\B) (B\A).

Проиллюстрируем последнюю операцию диаграммой Эйлера – Венна

(рис. 1.2).

А В

Рис. 1.2 Диаграмма Эйлера – Венна для симметрической разности множеств

Отображение множеств

Отображением f множества X в множество Y называют правило, по которому каждому элементу x множества X поставлен в соответствие некоторый единственный элемент y множества Y. Для обозначения отображения f множества X в множество Y пользуются записью f : X Y.

Если x – элемент множества X, то соответствующий ему при отображении f : X Y элемент y множества Y называют образом элемента x при данном отображении, обозначают f(x) и пишут y = f(x). Совокупность всех тех элементов x множества X, образом которых при отображении f : X Y является данный элемент y множества Y, называют

прообразом элемента y при данном отображении и обозначают f 1(y).

(B).

8

Если А X, то совокупность всех элементов множества Y, которые при отображении f : X Y являются образами хотя бы одного элемента множества А, называют образом множества А при данном отображении и обозначают f

(A).

Если В Y, то совокупность всех тех элементов множества X, образы которых при отображении f : X Y принадлежат множеству В, называют

прообразом множества В при данном отображении и обозначают f 1 Отображение f : X Y называют инъективным, если для любых двух

различных элементов x1 и x2 множества X их образы f (x1) и f (x2 ) также различны, и сюръективным, если для каждого элемента y множества Y существует элемент x множества X такой, что y = f(x). Отображение f : X Y называется биективным (взаимно однозначным), если оно инъективно и сюръективно.

Два множества называются изоморфными (эквивалентными), если существует биективное отображение одного из них в другое.

Для сокращения записей будем пользоваться следующими специальными символами:

– «следует», «если …, то»;

– «равносильно», «тогда и только тогда, когда».

1.2. Практическая часть

Пример 1. Пусть A = {1, 3, 5, 8}, B = {2, 3, 8, 10}, C = {3, 9, 10}.

Перечислить все элементы следующих множеств:

 

 

 

 

a) A B B C D,

b) (A C) \ (B A) E.

Решение. Из определений операций над множествами и порядка

выполнения этих операций имеем:

 

 

 

 

 

 

a) A B {3, 8},

B C {3, 10} D {3, 8, 10};

b)

 

A C

{1, 3, 5, 8, 9, 10},

B A

{3, 8} E {1, 5, 9, 10}.

Пример 2. Пусть множество A состоит из точек M(x, y) плоскости, для

которых

 

x

 

3

и

 

y

 

5,

множество B –

из точек плоскости, для которых

 

 

 

 

x2 y2

 

25,

множество

С

– из

точек

плоскости, для которых x < 0.

Требуется изобразить множество A B \ C.

9

Решение. По условию множество A представляет собой прямоугольник с центром симметрии в начале системы координат, множество B – круг радиуса 5 с центром тоже в начале системы координат, множество C – левую полуплоскость координатной плоскости xOy.

Рис. 1.3.

Тогда A B – «обрезанный» прямоугольник KLST, A B \ C – множество точек, полученное удалением из A B точек полуплоскости x < 0. Искомое множество затонировано на рис. 1. 3.

Пример 3. Доказать, что A\B = A B.

Решение. Произвольный элемент x A \ B x A и x B x A и x B x A B. Доказательство завершено.

Пример 4. Упростить выражение A B A B C.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. A B A B C

= (по законам де Моргана) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A B A B C = (снова

дважды

применяем законы де Моргана, закон

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

двойного отрицания и

другие

законы) = A B A B C =

A B (A B C) = A B A A B B A B C =

= A A B A B A B C A B A B.

Итак, A B A B C = A B.

Пример 5. Пусть А = {1, 2}, B = {3, 4}. Перечислить все элементы множеств А В, В А, A2.

Решение. А В = {(1, 3), (1, 4), (2, 3), (2, 4)}, В А = {(3, 1), (3, 2), (4, 1), (4,

2)}, A2 = A A = {(1, 1), (1, 2), (2, 1), (2, 2)}.

Пример 6. Пусть A = {x x [0, 1]}. Требуется изобразить множество A2.

10

Решение. A2 {(x, y) 0 x 1, 0 y 1}. Этому множеству соответствует множество точек на плоскости, имеющих неотрицательные координаты, не превосходящие единицы (рис. 1. 4).

Рис. 1.4.

Пример 7. Пусть X = {a, b, c, d}, Y = {1, 4, 8}. Рассмотрим отображения

f1 : X Y,

f2 : X Y :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f1 : a 1,

 

 

 

 

 

 

 

f2 : 1 b,

 

 

 

 

 

b 4,

 

 

 

 

 

 

 

 

 

4 c,

 

 

 

 

 

c 8,

 

 

 

 

 

 

 

 

 

8 d.

 

 

 

 

 

d 8

 

 

 

 

 

 

 

 

 

 

 

 

 

Определить, являются ли эти отображения инъективными и

сюръективными.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Имеем

 

 

 

 

 

 

 

 

 

 

 

 

f

(a) = 1,

 

f 1(1) {a},

f

2

(1) b,

f

 

1(b) {1},

 

 

1

 

 

1

 

 

 

 

 

2

 

 

f

(b) = 4,

 

f 1(4) {b},

f

2

(4) c,

f

 

1(c) {4},

 

 

1

 

 

1

 

 

 

 

 

2

 

 

f

(c) = f (d) = 8,

f 1(8) {c, d},

f

2

(8) d,

f

1(d) {8}, f

1(a)

Ø.

1

1

 

1

 

 

 

 

 

 

2

2

 

Образы f1 (c), f1 (d) элементов c, d совпадают, поэтому отображение f1 : XY не является инъективным. Для каждого элемента множества Y существует элемент множества X, образом которого при отображении f1 : X Y является этот элемент множества Y, поэтому отображение f1 : X Y является сюръективным. Так как образы любых двух различных элементов множества Y при отображении f2 : Y X различны, то это отображение является инъективным. В множестве Y не существует элемента, образом которого при

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]