У пiдручнику розглядаються основнi поняття алгебри множин та вiдно шень, комбiнаторики, загальної алгебри, теорiї чисел, а також найпростiшi властивостi основних алгоритмiчних систем та їх застосування в прикладних областях. Крiм того, описуються класичнi логiки висловлювань i предикатiв першого порядку та некласичнi модальна, динамiчна (програмна) та лiнiйна темпораьна логiки, теорiя графiв i складнiсть обчислень. До кожного роздiлу додаються задачi та вправи, якi сприяють засвоєнню матерiалу.

Для наукових спiвробiтникiв, викладачiв, аспiрантiв та студентiв вищих навчальних закладiв, якi спецiалiзуються за напрямками «Комп'ютернi на уки», «Програмна iнженерiя» та «Прикладна математика».