Излагаются основы дискретной математики. Рассматриваются разделы математических теорий, ориентированные на моделирование интеллектуальных систем (элементы теории множеств, теории алгебраических структур и математической логики, а также математической информатики).