Раздел 1. Множества, отношения и алгебраические структуры — презентация
logo
Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Литература
  • 1.2. Операции над множествами
  • Диаграммы Эйлера-Венна
  • Свойства операций над множествами
  • Прямое произведение множеств
  • 1.3. Мощности множеств
  • Теорема Кантора
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
  • Раздел 1. Множества, отношения и алгебраические структуры
1/117

1 Раздел 1. Множества, отношения и алгебраические структуры 1.1. Множества, элементы множеств Множество – определённая совокупность объектов. Объекты - элементы множества. Примеры множеств а) N – мн-во натуральных чисел 1, 2, 3,…; б) P – мн-во всех простых чисел 2, 3, 5, 7…; с) Z – мн-во всех целых чисел …-2, -1, 0, 1, 2,…; d ) R – мн-во всех действительных чисел. - x принадлежит М. - x не принадлежит М. Мн-во, элементы которого мн-ва, называются классом или семейством. Мн-во, не содержащее элементов, называется пустым – ø. Универсум ( U) – достаточно широкое мн-во, из которого берутся элементы в каждом конкретном случае. Способы задания мн-в : 1) перечисление элементов: ; 2) порождающей процедурой, например 3) характеристическим предикатом, например.

Изображение слайда

Слайд 2: Литература

2 Литература Кузнецов О.П., Адельсон – Вельский Г.М. Дискретная математика для инженера / М., Энергоиздат, 1988.– 480с. Новиков Ф. А. Дискретная математика для программистов : Учебник/ СПб.: Питер, 2000. – 304с. Липский В. Комбинаторика для программистов. - М.: Мир, 1988. Пестунова Т.М. Введение в комбинаторику: Учебное пособие / Красноярск: КГТУ, 2001.– 96c. Богульская Н.А., Пестунова Т.М. Дискретная математика. Основы теории графов: Учебное пособие/ Красноярск: КГТУ, 2004. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов / М.: Наука, 1984. – 224с. Оре, О. Теория графов. – М., Наука, 1980. – 336c.

Изображение слайда

3 1.2. Операции над множествами Сравнение множеств: A=B ( эл-ты совпадают); (каждый эл-т А есть эл-т В); А - подмножество В. Если и, А – собственное или строгое подмножество В. По определению ø ; M. Два мн-ва равны, если они являются подмн-вами друг друга: Мощность конечного мн-ва – число его эл-тов - | ø|=0. Мн-ва равномощны - |A|=|B|. Операции над мн-вами: объединение пересечение разность симметрическая разность дополнение

Изображение слайда

Слайд 4: Диаграммы Эйлера-Венна

4 Диаграммы Эйлера-Венна

Изображение слайда

5 Свойства операций над множествами 1. Идемпотентность 2. Коммутативность 3. Ассоциативность 4. Дистрибутивность 5. Поглощение 6. Св-ва нуля ø = ø = ø. 7.Св-ва единицы 8. Инволютивность 9. Законы де Моргана 10. Свойства дополнения 11. Свойства разности ø.

Изображение слайда

6 Прямое произведение множеств Прямое произведение множеств А и В -. . Пример. - множество координат точек плоскости. Прямое произведение называют декартовым.

Изображение слайда

Слайд 7: 1.3. Мощности множеств

7 1.3. Мощности множеств Мн-во всех подмн-в мн-ва М называют булеаном и обозначают. Теорема. Для конечного мн-ва Док-во: (по индукции) 1. ø. 2. Предположим верно Рассмотрим Обозначим ø. Мн-ва, равномощные N называются счётными

Изображение слайда

Слайд 8: Теорема Кантора

8 Теорема Кантора Т. Мн-во всех действительных чисел отрезка [0,1] не является счётным. Док-во. (от противного) Предположим, что существует нумерация. Расположим все числа, представленные десятичными дробями в порядке нумерации. … Рассмотрим дробь такую, что и т.д. Эта дробь не равна ни одному из чисел последовательности. Это противоречит предположению. Ч.т.д. Мощность мн-ва чисел отрезка [0,1] называется континуум. Равномощные ему множества – континуальные. Множество всех подмножеств счётного множества континуально.

Изображение слайда

Слайд 9

9 1.4 Отношения Отношения - один из способов задания взаимосвязей между элементами множества. Определение. Подмножество R множества А Х А… х А называется n-местным отношением на множестве А. При этом говорят, что элементы a 1, a 2,..., a n находятся в отношении R, если ( a 1, a 2,..., a n ) элемент множества А Х А… х А. R. Для n = 1 - одноместное отношение, для n = 2 - двухместное, для n = 3 – трехместное и т.д. Одноместные (унарные) отношения – подмн-ва мн-ва А. Они отражают наличие какого-то признака R у элементов мн-ва A. Пример унарного отношения Подмн-во четных чисел N четн на мн-ве N. Двухместные (бинарные) отношения используются для определения взаимосвязей пар элементов в множестве А. Пример бинарного отношения: ( a > b ) на мн-ве N.

Изображение слайда

Слайд 10

10 Примеры отношений на конечном множестве А = {1, 2, 3, 4, 5} 1. Одноместное отношение : R - нечетные элементы А. R = {1, 3, 5} 2. Двухместное отношение : R - отношение равенства. R ={( a, b ): a = b, a, b A }. R = = {(1, 1); (2, 2); (3, 3); (4, 4); (5, 5)}. 3. Трехместное отношение : R - отношение суммы R = {( a, b, c ): a + b = c, a, b, c A }. R + = {(1, 1, 2); (1, 2, 3); (1, 3, 4); (1, 4, 5); (2, 1, 3); (2, 2, 4); (2, 3, 5); (3, 1, 4); (3, 2, 5); (4, 1, 5)}. Отношения могут быть заданы и на множествах разной природы : R Mn. M 1 M 2 ... При этом элементы ( a 1, a 2,..., a n ), находящиеся в отношении R, принадлежат соответственно a 1 M 1, a 2 M 2,..., a n M n ).

Изображение слайда

Слайд 11

11 Бинарные отношения Для R рассмотрим: а) область определения : б) область значений: в) обратное отношение: г) композицию (для отношений R 1 и R 2 ):

Изображение слайда

Слайд 12

12 Способы задания бинарных отношений 1.Списком (перечислением) пар, для которых это отношение выполняется. 2. Матрицей - бинарному отношению, где А ={ a 1, a 2,..., an }, соответствует квадратная матрица S порядка n, в которой элементы sij принимают два возможных значения: Пример. Пусть А = {1, 2, 3}. Задать матрицей отношение :

Изображение слайда

Слайд 13

13 Свойства бинарных отношений

Изображение слайда

Слайд 14

14

Изображение слайда

Слайд 15

15

Изображение слайда

Слайд 16

16

Изображение слайда

Слайд 17

17

Изображение слайда

Слайд 18

18

Изображение слайда

Слайд 19

19

Изображение слайда

Слайд 20

20

Изображение слайда

Слайд 21

21

Изображение слайда

Слайд 22

22

Изображение слайда

Слайд 23

23

Изображение слайда

Слайд 24

24 РАЗДЕЛ 2 Комбинаторика

Изображение слайда

Слайд 25

25

Изображение слайда

Слайд 26

26

Изображение слайда

Слайд 27

27

Изображение слайда

Слайд 28

28

Изображение слайда

Слайд 29

29

Изображение слайда

Слайд 30

30

Изображение слайда

Слайд 31

31

Изображение слайда

Слайд 32

32

Изображение слайда

Слайд 33

33

Изображение слайда

Слайд 34

34

Изображение слайда

Слайд 35

35

Изображение слайда

Слайд 36

36

Изображение слайда

Слайд 37

37

Изображение слайда

Слайд 38

38

Изображение слайда

Слайд 39

39

Изображение слайда

Слайд 40

40

Изображение слайда

Слайд 41

41

Изображение слайда

Слайд 42

42

Изображение слайда

Слайд 43

43

Изображение слайда

Слайд 44

44

Изображение слайда

Слайд 45

45

Изображение слайда

Слайд 46

46

Изображение слайда

Слайд 47

47

Изображение слайда

Слайд 48

48

Изображение слайда

Слайд 49

49

Изображение слайда

Слайд 50

50

Изображение слайда

Слайд 51

51

Изображение слайда

Слайд 52

52

Изображение слайда

Слайд 53

53

Изображение слайда

Слайд 54

54

Изображение слайда

Слайд 55

55

Изображение слайда

Слайд 56

56

Изображение слайда

Слайд 57

57

Изображение слайда

Слайд 58

58

Изображение слайда

Слайд 59

59

Изображение слайда

Слайд 60

60

Изображение слайда

Слайд 61

61

Изображение слайда

Слайд 62

62

Изображение слайда

Слайд 63

63

Изображение слайда

Слайд 64

64

Изображение слайда

Слайд 65

65

Изображение слайда

Слайд 66

66

Изображение слайда

Слайд 67

67

Изображение слайда

Слайд 68

68

Изображение слайда

Слайд 69

69

Изображение слайда

Слайд 70

70

Изображение слайда

Слайд 71

71

Изображение слайда

Слайд 72

72

Изображение слайда

Слайд 73

73

Изображение слайда

Слайд 74

74

Изображение слайда

Слайд 75

75

Изображение слайда

Слайд 76

76

Изображение слайда

Слайд 77

77

Изображение слайда

Слайд 78

78

Изображение слайда

Слайд 79

79

Изображение слайда

Слайд 80

80

Изображение слайда

Слайд 81

81

Изображение слайда

Слайд 82

82

Изображение слайда

Слайд 83

83

Изображение слайда

Слайд 84

84

Изображение слайда

Слайд 85

85

Изображение слайда

Слайд 86

86

Изображение слайда

Слайд 87

87

Изображение слайда

Слайд 88

88

Изображение слайда

Слайд 89

89

Изображение слайда

Слайд 90

90

Изображение слайда

Слайд 91

91

Изображение слайда

Слайд 92

92

Изображение слайда

Слайд 93

93

Изображение слайда

Слайд 94

94

Изображение слайда

Слайд 95

95

Изображение слайда

Слайд 96

96

Изображение слайда

Слайд 97

97

Изображение слайда

Слайд 98

98

Изображение слайда

Слайд 99

99

Изображение слайда

Слайд 100

100

Изображение слайда

Слайд 101

101

Изображение слайда

Слайд 102

102

Изображение слайда

Слайд 103

103

Изображение слайда

Слайд 104

104

Изображение слайда

Слайд 105

105

Изображение слайда

Слайд 106

106

Изображение слайда

Слайд 107

107

Изображение слайда

Слайд 108

108

Изображение слайда

Слайд 109

109

Изображение слайда

Слайд 110

110

Изображение слайда

Слайд 111

111

Изображение слайда

Слайд 112

112

Изображение слайда

Слайд 113

113

Изображение слайда

Слайд 114

114

Изображение слайда

Слайд 115

115

Изображение слайда

Слайд 116

116

Изображение слайда

Последний слайд презентации: Раздел 1. Множества, отношения и алгебраические структуры

117

Изображение слайда

Похожие презентации