Реферат Курсовая Конспект
Квантор всеобщности - раздел Образование, 25. Двухместные Предикаты: Использование Кванторов Общности И Существ...
|
25. Двухместные предикаты: использование кванторов общности и существования.
Квантор существования. Пусть P(x) – некоторый предикат. Под выражением ∃xP(x) будем понимать высказывание истинное, когда существует элемент множества M, для которого P(x) истинно, и ложное – в противном случае. Читается это выражение так: «существует x такое, что P(x)». Это высказывание уже не зависит от x. Символ ∃x называется квантором существования.
Квантор всеобщности. Пусть P(x) – некоторый предикат, принимающий значение И или Л для каждого элемента множества M. Тогда под выражением ∀xP(x) будем подразумевать высказывание истинное, когда P(x) истинно для каждого элемента x из множества M, и ложное – в противном случае. Читается это выражение так: «для всех x P(x)». Это высказывание уже не зависит от x. Символ ∀x называется квантором всеобщ
Множества и классы понятий, основные операции над нами. Круги Эйлера.
Чтобы как-то описать, о чем все же идет речь, говорят, что множество – это совокупность некоторых объектов, которые называются элементами множества. Однако такое описание не может считаться определением, так как совокупность – это просто другое на- звание множества. Множество, которому не при- надлежит ни один элемент, называется пустым.
Универсальным называют все остальные множества и обозначают U.
Операции над множествами:
1) Множество A называется дополнением множества A, если A состоит из
элементов, которые не принадлежат A: A =△ {x : x ∈/ A}
2)Множество A ∪ B называется объединением множеств A и B, если оно состоит из элементов, которые принадлежат или множеству A, или множеству
B(операция«или»)
3)Множество A ∩ B называется пересечением множеств A и B, если оно состоит из элементов, которые принадлежат и множеству A, и множеству B
(операция «и»)
4) Множество A − B = A B =△ A ∩ B называется разностью множеств A и B, оно состоит из элементов, которые принадлежат множеству A, но не
принадлежат множеству B
Круги Эйлера— геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления
Прямое (декартово) произведение множеств. Комбинаторные структуры.
Прямое (декартово) произведение множеств А и В называется множество, состоящее из всех упорядоченных пар, первый компонент принадлежит А, а второй принадлежит В.
, соответственно
Отношение эквивалентности. Свойства отношений. Разбиение множеств на классы.
Отношение рна множестве М называется отношением эквивалентности, если обладает отношениями:
1.Рефлексивности
2. Симметричности
3.Транзитивности
Отношения могут обладать рядом свойств, которые определяются через условия, которым должны удовлетворять их элементы
Пусть рна множестве А, тогда р называется:
· рефлексивным, если
· симметричным, если
· транзитивным, если
Изоморфизм графов.
Графы называют изоморфными, если между множествами вершин можно установить взаимно однозначное соответствие, сохраняющее смежность. Отношение изоморфизма - отношение эквивалентности. Фактически, изоморфные графы - это один и тот же граф.
Разрезы.
пусть G (V U) - неориентированный граф
Разрезом называется всякое множество R ребер графа G такое, что удаление этих ребер из графа делает его несвязным.
Разрез называется ппростым, если никакое его собственное подмножество разрезом не является. Разрез по-другому называют коциклом.
– Конец работы –
Используемые теги: Квантор, всеобщности0.05
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Квантор всеобщности
Если этот материал оказался полезным для Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов