Дискретная математика - лекции
Введение в дискретную математику
Множества и операции над ними
Упорядоченные пары и прямое произведение множеств
Введение в комбинаторику
Основные законы комбинаторики: правило суммы и произведения
Формулы комбинаторики: перестановки, размещения, сочетания
Геометрическая реализация графов
Маршруты, цепи, циклы в графах
Основные понятия теории графов
Представление графов в ЭВМ: матрицы смежности и инциденций
Формулы комбинаторики: перестановки, размещения, сочетания
Введение в логику высказываний
Законы логики и их доказательство
Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция
Логическое следствие и равносильность формул
Основные понятия логики высказываний
Составные высказывания и логические операции
Формулы логики высказываний и их свойства















