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