Тема 3. Классы и множества. Логические отношения между. классами (множествами). Связь между бинарными отношения­ми

классами (множествами). Связь между бинарными отношения­ми

И двуместными предикатами

Лекция 7: «Множества и классы понятий. Подмножества. Простейшие операции над множествами классов (дополнение, объединение, пересечение, разность, симметрическая разность). Круги Эйлера. Пустое и универсальное множества. Тождества теории множеств и методы их доказательства. Прямое (декартово) произведение множеств. Понятие структуры на множестве».

Лекция 8: «Понятие отношения. Обратное отношение. Графическое представление отношений. Свойства отношений (рефлексивность, симметричность, транзитивность, асимметричность, антисимметричность). Разбиения множества и отношение эквивалентности. Отношения порядка. Отображения и их основные свойства. Функциональные отображения. Взаимнооднозначное соответствие множеств. Функции, последовательности, операторы».

Тема 4. Комбинаторные методы решения логических задач

Лекция 9: «Представление сложных отношений в виде комбинаторных структур. Размещения, перестановки, сочетания с повторением и без повторения. Бином Ньютона. Биномиальные коэффициенты и их свойства. Треугольник Паскаля. Комбинаторные методы решения логических задач».

Тема 5. Формализация бинарных отношений и двуместных

Не нашли, что искали? Воспользуйтесь поиском: