Посібник містить теоретичний та практичний матеріал із дисципліни «Комп’ютерна дискретна математика». Він охоплює низку напрямів дискретної математики: теорію множин, логіку, відношення, булеві функції (зокрема, і завадостійке кодування) та комбінаторику. Особливу увагу приділено загальній теорії графів – одному з найважливіших інструментів програміста – і головним її застосуванням. Практична складова посібника подає обґрунтування правильності та приклади конкретних алгоритмів від простих до доволі складних, написаних мовою С++, що полегшить побудову математичних моделей задач, які виникають перед дослідником, і вибір найбільш вдалого подання даних. Для студентів спеціальності «Інженерія програмного забезпечення», а також для всіх, хто навчається самостійно чи прагне підвищити кваліфікацію в напрямах, пов’язаних з програмуванням. Може бути корисним для фахівців-початківців, що працюють у галузі конструювання й аналізу алгоритмів, аспірантів і науковців, а також розробників програмного забезпечення.