146.离散数学

离散数学

　　数理逻辑

　　　　命题逻辑

　　　　谓词逻辑

　　集合论

　　　　集合

　　　　二元关系

　　　　函数

　　代数系统

　　　　无限集合

　　　　代数

　　　　格与布尔代数

　　图论