Підтвердьте, що ви

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