离散数学 ¶

课程主要分四块： • 第一部分 数理逻辑（第1章：命题逻辑、谓词逻辑）

知识表示方法 • 命题逻辑 • 谓词逻辑 • 知识图谱推理 • 概率图推理 • 因果推理

• 第二部分 集合论（第 2 章：集合；第 3 章：二元关系；第 4 章：函数） • 第三部分 代数系统 （第5章:无限集合；第6章：代数； 第7章：格和布尔代数） • 第四部分 图 论 （第8章:图论）