Доброго ранку, Олег! Радимо зверутися до наступних джерел:

http://www.bhv.kiev.ua/books/book.php?book_id=267&id=1

Спекторський І.Я. Навчальний посібник до дисципліни "Дискретна математика." Алгебра висловлень, теорія множин, теорія відношень, елементи комбінаторики, теорія графів, елементи теорії груп та кілець.
Спекторський І.Я. Навчальний посібник з дисципліни "Дискретна математика". Частково впорядковані множини, решітки, булеві алгебри
Спекторський І.Я. Розрахункові роботи з дисципліни «Дискретна математика».
Спекторський І.Я. Емулятори машини Тьюрінга.
Бакан Г.М. Курс лекцій з дисципліни «Експертні системи».