У посібнику розглядаються основні поняття теорії множин та відношень, загальної алгебри, математичної логіки і теорії алгоритмів. Зокрема, описуються алгебри множин і відношень, алгебра булевих функцій і графічне представлення булевих функцій у вигляді упорядкованих бінарних діаграм розв'язків, а також найважливіші застосування цього представлення для задання відношень, графів, скінченних автоматів тощо.
Представлені формальні логічні мови (логіка висловлювань, лінійна тем- поральна логіка та логіка предикатів першого порядку), основні методи перевірки виконуваності формул у цих мовах та метод резолюцій з уніфікацією.
Розглянуто основні поняття теорії складності обчислень за Тьюрингом та основні класи складності обчислень, а також описано такі моделі обчислень, як RАМ і РRАМ (для оцінки послідовних та паралельних алгоритмів). В останніх розділах розглядаються методи аналізу мереж Петрі.
Навчальний посібник призначений для студентів старших курсів вищих навчальних закладів та аспірантів, які спеціалізуються за напрямом "Комп'ютерні науки".
