Курс Дискретная математика |
Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 5999 / 1029 | Оценка: 4.66 / 4.45 | Длительность: 03:00:00
Специальности: Программист, Математик
Теги:
Лекция 10:
Логика предикатов. Графы, общие определения
< Лекция 1 || Лекция 10
Аннотация: Кванторы всеобщности и существования. Связанные переменные. Область действия квантора. Эквивалентные соотношения в логике предикатов. Чистая логика предикатов и прикладные логики предикатов. Понятия графа. Классификация графов: по наличию ориентирования ребер (неориентированный и ориентированный графы), по наличию кратности ребер (простой граф и мультиграф). Отношение смежности между вершинами, матрица смежности.
Отношение инцидентности между вершинами и ребрами. Степень вершины. Изолированные вершины, висячие вершины. Пустой граф, полный граф.
< Лекция 1 || Лекция 10