Практические работы

Практическая работа № 1 – Формулы логики. Построение таблиц истинности

 

Практическая работа № 2 – Упрощение формул логики с помощью равносильных преобразований

 

Практическая работа № 3 – Приведение формул логики к ДНФ, КНФ с помощью равносильных преобразований

 

Практическая работа № 4 – Представление булевой функции в виде СДНФ и СКНФ, минимальной ДНФ и КНФ

 

Практическая работа № 5 – Множества. Операции над множествами

 

Практическая работа № 6 – Сравнение множеств. Графическое изображение множеств на диаграммах Эйлера-Венна

 

Практическая работа № 7 – Исследование свойств бинарных отношений

 

Практическая работа № 8 – Логические операции над предикатами. Построение отрицаний к предикатам, содержащим кванторные операции

 

Практическая работа № 9 – Графы. Способы задания графов. Степени вершин

 

Практическая работа № 10 – Решение задач по теории графов с помощью ЭВМ