В книге отражены разделы дискретной математики, предусматриваемые учебными программами классических, национальных исследовательских и технических университетов. При соблюдении необходимого уровня доказательности рассматриваются задачи, встречающиеся в инженерной практике, для формализации которых необходимы математические модели дискретной математики - теоретико-множественные, комбинаторно-логические, автоматные, графовые, функциональные, алгебраические и др. Существенное внимание уделено принципам построения алгоритмов решени?? задач дискретной математики на базе известных моделей вычислений (рекурсия, ветвления и ограничения и т.п.) и оценкам их сложности в контексте общей теории сложности алгоритмов. По каждому разделу даны задачи и теоретические упражнения.Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования.Для студентов, слушателей факультетов повышения квалификации, специалистов, преподавателей и программистов, использующих методы дискретной математики.