Вопросы к зачету

Примеры задач

Работа 1 - алгебра логики
Работа 2 - нормальные формы
Работа 3 - минимизация функции

Работа 4 - операции над множествами

Работа 5 - бинарные отношения. Функции
Работа 6 - способы представления графов
Работа 7 - операции над графами
 

Работа 8 - графы и бинарные отношения

Работа 9 - нахождение кратчайших 
                        маршрутов, деревья
Работа 10 - элементы комбинаторики
Работа 11 - комбинационные автоматы
Работа 12 - метод математической индукции

Работа 13 - предикаты, кванторы