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