Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 6023 / 1047 | Оценка: 4.66 / 4.45 | Длительность: 03:00:00
Специальности: Программист, Математик
Лекция 10:

Логика предикатов. Графы, общие определения

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

По-моему, 4-й тест невозможно пройти без знания метода построения полинома Жегалкина по таблице логической функции. К сожалению, в лекциях этот вопрос не освещён. Вот ссылка на статью "Что нам стоит полином Жегалкина построить…", где этот вопрос освещён кратко и наглядно: https://habrahabr.ru/post/275527/