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

алгебра, математична логіка, математическая логика, алгоритми, алгоритмы, множини, множества