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

Методичні вказівки містять рекомендації до розробки та оформлення кваліфікаційної роботи другого (магістерського) рівня, а також вимоги до змісту та правила оформлення пояснювальної записки.