Элементы теории множеств. Основы алгебры логики. Понятие множества.
Диаграммы Эйлера–Венна. Операции над множествами. Отношения на
множествах. Понятие функции и отображения. Алгебраические
структуры. Теорема Шеннона. Совершенная дизъюнктивная нормаль-ная
форма. Двойственность конъюнктивной нормальной формы. Булева
алгебра. Полнота и замкнутость системы логических функций.
Логические сети. Графы. Сети, потоки на сетях.
Логические сети. Графы. Сети, потоки на сетях.