«Программное обеспечение вычислительной техники и
автоматизированных систем» УГНТУ Дружинская (множества,
подмножества, отношения, эквивалентность, порядок, функции,
морфизмы, основы_графов, части_графа, связность, деревья, циклы,
раскраски, планарность, ПФ, ДНФ, КНФ, ФПС, планарность графов)