大连理工大学软件学院 离散数学 第六章 代数系统2