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