Элементы математической логики. Отношения - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Элементы математической логики. Отношения, слайд №1

Элементы математической логики. Отношения, слайд №2

Элементы математической логики. Отношения, слайд №3

Элементы математической логики. Отношения, слайд №4

Элементы математической логики. Отношения, слайд №5

Элементы математической логики. Отношения, слайд №6

Элементы математической логики. Отношения, слайд №7

Элементы математической логики. Отношения, слайд №8

Элементы математической логики. Отношения, слайд №9

Элементы математической логики. Отношения, слайд №10

Элементы математической логики. Отношения, слайд №11

Элементы математической логики. Отношения, слайд №12

Элементы математической логики. Отношения, слайд №13

Элементы математической логики. Отношения, слайд №14

Элементы математической логики. Отношения, слайд №15

Элементы математической логики. Отношения, слайд №16

Элементы математической логики. Отношения, слайд №17

Элементы математической логики. Отношения, слайд №18

Элементы математической логики. Отношения, слайд №19

Элементы математической логики. Отношения, слайд №20

Элементы математической логики. Отношения, слайд №21

Элементы математической логики. Отношения, слайд №22

Элементы математической логики. Отношения, слайд №23

Элементы математической логики. Отношения, слайд №24

Элементы математической логики. Отношения, слайд №25

Элементы математической логики. Отношения, слайд №26

Элементы математической логики. Отношения, слайд №27

Элементы математической логики. Отношения, слайд №28

Элементы математической логики. Отношения, слайд №29

Элементы математической логики. Отношения, слайд №30

Элементы математической логики. Отношения, слайд №31

Элементы математической логики. Отношения, слайд №32

Элементы математической логики. Отношения, слайд №33

Элементы математической логики. Отношения, слайд №34

Элементы математической логики. Отношения, слайд №35

Элементы математической логики. Отношения, слайд №36

Элементы математической логики. Отношения, слайд №37

Элементы математической логики. Отношения, слайд №38

Элементы математической логики. Отношения, слайд №39

Элементы математической логики. Отношения, слайд №40

Элементы математической логики. Отношения, слайд №41

Элементы математической логики. Отношения, слайд №42

Элементы математической логики. Отношения, слайд №43

Элементы математической логики. Отношения, слайд №44

Элементы математической логики. Отношения, слайд №45

Элементы математической логики. Отношения, слайд №46

Элементы математической логики. Отношения, слайд №47

Элементы математической логики. Отношения, слайд №48

Элементы математической логики. Отношения, слайд №49

Элементы математической логики. Отношения, слайд №50

Элементы математической логики. Отношения, слайд №51

Элементы математической логики. Отношения, слайд №52

Элементы математической логики. Отношения, слайд №53

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Элементы математической логики. Отношения. Доклад-сообщение содержит 53 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Элементы математической логики Отношения

Слайд 2

Описание слайда:

Унарные отношения Отношения – один из способов задания взаимосвязей между элементами множества. Унарные (одноместные) отношения отражают наличие какого-то определенного признака R у элементов множества М. Пример. М – множество студентов гр.08АСУ; R – «быть светловолосым» R={Гуничев, Хомутинникова, Смирнов, Федотова, Баранов} Унарным отношением R на множестве М называется подмножество R множества М, состоящее из элементов множества М, обладающих свойством R, т.е. а R и RМ.

Слайд 3

Описание слайда:

Бинарные (двухместные отношения) используются для определения каких-либо взаимосвязей, которыми характеризуются пары элементов во множестве М. Бинарные (двухместные отношения) используются для определения каких-либо взаимосвязей, которыми характеризуются пары элементов во множестве М. Например, М-множество людей, отношение R- «жить в одном городе», R = {(Иванов, Сидоров), (Смит, Джонсон), …} Все пары (a,b) элементов из М, между которыми имеет место отношение R, образуют подмножество пар из множества всех возможных пар элементов М  М = М2, называемое бинарным отношением R, т.е. (a,b)R, при этом R М  М.

Слайд 4

Описание слайда:

n-местное отношение

Слайд 5

Описание слайда:

Пример. Пусть . Рассмотрим отношение R A  A , R- множество всех пар (x,y), в которых y делится на x и x не больше 5. Пример. Пусть . Рассмотрим отношение R A  A , R- множество всех пар (x,y), в которых y делится на x и x не больше 5. Т.е. }. Перечислим все такие пары: Т.о. мы задали отношение R A  A

Слайд 6

Описание слайда:

Область определения и область значений Область определения D(x) - это множество значений x, таких, что пара (x,y) принадлежит отношению R: Область значений это множество значений y, таких, что пара (x,y) принадлежит отношению R:

Слайд 7

Описание слайда:

Область определения и область значений Пример. Для отношения рассмотренного в предыдущем примере, область определения и область значений будут соответственно равны: и

Слайд 8

Описание слайда:

Способы задания отношений

Слайд 9

Описание слайда:

Способы задания отношений

Слайд 10

Описание слайда:

Пример. R ={(1,5), (2,4), (3,6), (6,2)} на R Х2, Пример. R ={(1,5), (2,4), (3,6), (6,2)} на R Х2, Х = {1,2,3,4,5,6}

Слайд 11

Описание слайда:

Способы задания отношений

Слайд 12

Описание слайда:

Способы задания отношений Матрица отношения будет иметь вид:

Слайд 13

Описание слайда:

Способы задания отношений

Слайд 14

Описание слайда:

Способы задания отношений

Слайд 15

Описание слайда:

Способы задания отношений

Слайд 16

Описание слайда:

Способы задания отношений Рассмотрим подробнее графический способ задания отношений. Графические методы задания отношения: Координатный метод; Линейно-координатный метод; Линейный метод; Графовый метод.

Слайд 17

Описание слайда:

Координатный метод Координатный метод

Слайд 18

Описание слайда:

Линейно-координатный метод Линейно-координатный метод

Слайд 19

Описание слайда:

Линейный метод Линейный метод Используя параллельные вертикальные линии для D и R получаем диаграммы, в которых стрелки не требуются в принципе, так как мы двигаемся слева направо:

Слайд 20

Описание слайда:

Графовый метод Графовый метод Элементы множества, на котором строится отношение, представлены вершинами графа, а сами отношения - дугами графа. Так как точки в областях D и R одни и те же, их можно объединить.

Слайд 21

Описание слайда:

Задача. По матрице представить отношение списком, графически Задача. По матрице представить отношение списком, графически

Слайд 22

Описание слайда:

Слайд 23

Описание слайда:

Слайд 24

Описание слайда:

Пример. Пусть Пример. Пусть Определено на множестве Зададим списком: Свойства отношения R: рефлексивно, так как х/х=1 для хN несимметрично, поскольку, например, 2 - делитель 4, а 4 не является делителем 2; антисимметрично, так как если x/y R и y/x R, то х=у. транзитивно, так как (2, 4) и (4, 8) влечет (2, 8);

Слайд 25

Описание слайда:

Слайд 26

Описание слайда:

Пример. На булеане множества М={1, 2, 3} задано отношение R – «являться собственным подмножеством». Задать списком, матрицей, графически. Определить его свойства. Пример. На булеане множества М={1, 2, 3} задано отношение R – «являться собственным подмножеством». Задать списком, матрицей, графически. Определить его свойства. Решение. 1)(М)={, {1}, {2}, {3},{1,2}, {1,3}, {2,3}, {1,2,3}}

Слайд 27

Описание слайда:

Слайд 28

Описание слайда:

Слайд 29

Описание слайда:

Свойства отношения R – «быть собственным подмножеством»: Свойства отношения R – «быть собственным подмножеством»: Не является рефлексивным Антирефлексивно, так как любое множество не является своим собственным подмножеством Не является симметричным, так как, например, {1}{1,2}, но {1,2}{1} антисимметрично, так как для любых множеств А и В из того, что АВ и ВА следует А=В. Является транзитивным, так как, если АВ и ВС, то АС

Слайд 30

Описание слайда:

Пример. R Пример. R Задать всеми способами и определить свойства отношения R. N={1,2,3,4,5,6,7,8,9} Решение. Списком: Графически:

Слайд 31

Описание слайда:

Матрица отношения «иметь общий делитель» Матрица отношения «иметь общий делитель»

Слайд 32

Описание слайда:

Свойства отношения R- «иметь общий делитель»: Свойства отношения R- «иметь общий делитель»: нерефлексивно, так как выполняется аRа аR, кроме а=1; Не антирефлексивно; симметрично, так как если пара (а, b) имеет общий делитель, то и пара (b, а) тоже имеет общий делитель; не антисимметрично; не транзитивно, так как, например, 2 и 6 имеют общий делитель, 6 и 9 имеют общий делитель, но 2 и 9 не имеют общий делитель, т.е. (2,6)R, (6,9)R (2,9)R .

Слайд 33

Описание слайда:

Слайд 34

Описание слайда:

Слайд 35

Описание слайда:

Слайд 36

Описание слайда:

Слайд 37

Описание слайда:

Слайд 38

Описание слайда:

Слайд 39

Описание слайда:

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

Слайд 40

Описание слайда:

5) На диаграмме графового представления транзитивного отношения для каждой пары узлов a и c, связанных последовательностью стрелок от a к b и от b к c существуют также стрелки от a к c. 5) На диаграмме графового представления транзитивного отношения для каждой пары узлов a и c, связанных последовательностью стрелок от a к b и от b к c существуют также стрелки от a к c.

Слайд 41

Описание слайда:

Отношения эквивалентности и порядка

Слайд 42

Описание слайда:

Отношение эквивалентности Определение: Отношение эквивалентности– это бинарное отношение на множестве Х, удовлетворяющее следующим условиям: Рефлексивность (xRx) Симметричность (xRy & yRx) Транзитивность (xRy & yRz → xRz)

Слайд 43

Описание слайда:

Отношение эквивалентности Пример. R- «быть равным» на множестве натуральных чисел. Свойства: Рефлексивно, т.к. а=а, аN; Симметрично, т.к. если а=b, то и b=а, а, bN; Транзитивно, т.к. если а=b и b=с, то и а=с, а, b, сN. Т.к. отношение R- «быть равным» на множестве натуральных чисел рефлексивно, симметрично и транзитивно, следовательно, оно является отношением эквивалентности.

Слайд 44

Описание слайда:

Отношение эквивалентности Примеры отношений эквивалентности: Отношение «быть равным», «иметь один и тот же остаток от деления на конкретное число»

Слайд 45

Описание слайда:

Отношение толерантности Определение: Отношением толерантности (или просто толерантностью) на множестве X называется бинарное отношение, удовлетворяющее свойствам рефлексивности (xRx) и симметричности (xRy & yRx), но не обязательно являющееся транзитивным.

Слайд 46

Описание слайда:

Отношение толерантности Отношения «быть другом», «быть знакомым», - отношения толерантности, так как они рефлексивны, симметричны, но не транзитивны. Отношение «иметь непустое пересечение» для множеств – отношение толерантности.

Слайд 47

Описание слайда:

Отношения порядка

Слайд 48

Описание слайда:

Отношение строгого порядка Определение: Отношение строгого порядка– это бинарное отношение на множестве Х, удовлетворяющее следующим условиям: Антирефлексивность (xRx) Антисимметричность (xRy → yRx) Транзитивность (xRy & yRz → xRz)

Слайд 49

Описание слайда:

Отношение нестрогого порядка Определение: Отношение нестрогого порядка– это бинарное отношение на множестве Х, удовлетворяющее следующим условиям: Рефлексивность (xRx) Антисимметричность (xRy → yRx) Транзитивность (xRy & yRz → xRz)

Слайд 50

Описание слайда:

Особые виды отношений

Слайд 51

Описание слайда:

Задача 2. Дан граф некоторого отношения. Дополните его минимальным числом стрелок так, чтобы оно превратилось в эквивалентность. Задача 2. Дан граф некоторого отношения. Дополните его минимальным числом стрелок так, чтобы оно превратилось в эквивалентность.

Слайд 52

Описание слайда:

Задача 3. Назовем два слова сходными, если они состоят из одинакового числа букв, причем либо совпадают, либо отличаются лишь одной буквой. Например, КИТ-КОТ. Определить вид отношения. Задача 3. Назовем два слова сходными, если они состоят из одинакового числа букв, причем либо совпадают, либо отличаются лишь одной буквой. Например, КИТ-КОТ. Определить вид отношения. Задача 4. Папки в файловой системе компьютера вложены друг в друга, образуя ветвящуюся структуру. Определить вид отношения «вложенности».

Слайд 53

Описание слайда:

Использованные источники Спирина М. С., Спирин П. А. Дискретная математика: Учебник для студентов учр. Среднего проф. Образования.- М.:Издат. Центр «Академия», 2014. Москинова Г. И. Дискретная математика: Учебное пособие,-М.:Логос, 2012 Игошин В.И. Задачник-практикум по математической логике. – М.: Издательский центр “Академия”, 2013. Игошин В.И. Математическая логика и теория алгоритмов. – М.: Издательский центр “Академия”, 2013. window.edu.ru›resource/315/24315 edu.ru›modules.php alleng.ru›d/math/math163.htm Чащина Е.А. Комплект КОС учебной дисциплины ЕН.02. Элементы математической логики основной образовательной программы (ОПОП). – ГБОУ СПО «Прокопьевский политехнический техникум»