离散数学和计算机科学的关系 本课程已谈及的相关内容 数理逻辑 ·经典逻辑、等式逻辑、 程序逻辑、类型系统 ·都包括合式公式、公理、推理规则、演绎推理 集合论 良基关系、良基归纳法，偏序关系（本次课) 代数结构（抽象代数） 常见的抽象数据类型（表、栈、二叉树等）是代数 本课程还会介绍 可计算性和算法分析等离散数学和计算机科学的关系 • 本课程已谈及的相关内容 – 数理逻辑 • 经典逻辑、等式逻辑、程序逻辑、类型系统 • 都包括合式公式、公理、推理规则、演绎推理 – 集合论 良基关系、良基归纳法，偏序关系（本次课） – 代数结构（抽象代数） 常见的抽象数据类型 (表、栈、二叉树等) 是代数 • 本课程还会介绍 – 可计算性和算法分析等 4