У п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я» та «Прикладна математика».