Основы дискретной математики и логики

Промежуточные тесты по этим темам. Прохождение на платформе росдистант.

Тема 1.1. Множества и операции над ними

Тема 2.1. Элементы комбинаторики

Тема 3.1. Понятие графа. Смежность, инцидентность, степени вершин. Способы задания графов. Основные виды маршрутов на графах

Тема 3.2. Изоморфизм графов. Понятия полного и двудольного графов. Операции над графами. Измерение расстояний на графе. Связность

Тема 3.3. Деревья. Остов графа. Понятия планарного, эйлерова и гамильтонова графов

Тема 4.1. Высказывания и операции над ними. Понятие формулы алгебры высказываний. Эквивалентные преобразования формул

Тема 4.2. Булевы функции. Реализация функций формулами

Тема 4.3. Нормальные формы. Понятия тупиковой, минимальной и сокращенной ДНФ. Методы получения сокращенной и минимальной ДНФ

Тема 4.4. Понятие полноты системы булевых функций. Теорема Жегалкина. Замкнутые классы. Теорема о полноте

Тема 5.1. Понятие предиката. Логические и кванторные операции над предикатами. Формулы логики предикатов

Итоговый тест.

Набрано 33 балла, надо минимум 55, чем больше тем лучше!