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