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