В пикнике рассматриваются основные понятия алгебры множествен и ведомо­­­­­­­­­­­­­­­­­ч, комбинаторики, общей алгебры, теории чисел, а также самые простые присущие основным алгоритмическим системам и их применение в прикладных областях. Крим того, описываются классические логики выводов i предикатизов первого порядка и неклассични модальная, динамичная (программная) и линейная темпорайная логики, теория графив i складность вычислений. К каждому розилу прилагаются задачи и упражнения, которые способствуют усвоению материала.Для научных спроизводников, преподавателей, аспirtiров и студентов более высоких учебных заведений, таких как спецiалиliзаются по направлениям «Компъятивные надиуки», «Программная инженерия» и «Прикладная математика».