Излагаются основы многосортных множеств, математической логики, графов и мографов, теории формальных грамматик и автоматов, прикладной теории алгоритмов и характеризационного анализа, которые в совокупности образуют основы дискретной математики, представляющие собой методически взаимосвязанный курс «Компьютерно-информационная математика». (Подробнее)