Навчальний посібник присвячено висвітленню основних понять теорії множин, теорії графів, предикатів, алгебри булевих функцій, теорії формальних алгебр. Для студентів спеціальності 121 "Інженерія програмного забезпечення" денної та заочної форми навчання
