西安电子科技大学离散数学软件学院主讲：黄健斌学时：38V12数理逻辑7集合与关系12布尔代数2图论→12西安电子科技大学 离散数学 软件学院 主讲：黄健斌 学时：38 数理逻辑 集合与关系 布尔代数 图论 12 12 12 2