n-арное (n-местное) отношение на множестве М
Бинарные отношения порядка
Бинарные отношения, основные понятия
Булева функция: функция Z=f(X1, X2 ...,Xn) одной или нескольких логических переменных
Возрастание (убывание) функции
Высказывание - любое повествовательное предложение, которое может быть истинно или ложно
Граф - система объектов вместе с парами этих объектов, изображающая отношения связи между ними
Задание множеств с помощью операций над множествами
Логические функции
Математическая логика. Основные понятия
Множества и соответствие между ними
Множество - совокупность каких-либо объектов произвольной природы
Некоторые свойства функции
Некоторые элементы теории графов
Основные элементарные функции
Отношение инцидентности (соответствия) ребра с каждым из своих концов
Отношение нестрогого порядка
Отношение эквивалентности
Отношения строгого порядка
Правильные рассуждения
Рефлексивные, симметричные, транзитивные бинарные отношения
Связный граф: имеется ровно одна компонента связности
Сложные высказывания
Соответствие G между множествами А и В - подмножество GЄA×В
Соответствия между множествами
Способы задания булевой функции
Способы задания графа
Способы задания множеств
Типы бинарных отношений
Упорядочение - задание на множестве некоторого отношения порядка
Функции. Основные элементарные функции
Функция - отображение числового множества D в числовое множество Φ
Цепь - последовательность вершин и ребер
Четность