Учебник Дискретная математика Кривой С.Л.

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

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