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