Lecture
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 28.03.2015 | Access: free | Students: 687 / 1
Specialities: Программист, Математик
Lecture 1:
Логика предикатов. Графы, общие определения
Lecture 1
Annotation: Кванторы всеобщности и существования. Связанные переменные. Область действия квантора. Эквивалентные соотношения в логике предикатов. Чистая логика предикатов и прикладные логики предикатов. Понятия графа. Классификация графов: по наличию ориентирования ребер (неориентированный и ориентированный графы), по наличию кратности ребер (простой граф и мультиграф). Отношение смежности между вершинами, матрица смежности.
Отношение инцидентности между вершинами и ребрами. Степень вершины. Изолированные вершины, висячие вершины. Пустой граф, полный граф.
Lecture 1