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