离散数学教学的理性思考预案.ppt

离散数学教学的理性思考;主要内容;基本问题;离散数学与计算机专业课程关系问题;计算机专业的基础问题;ACM Computer Science Curricula 2013;集合、基本逻辑和证明方法的知识点;主要内容;最简单的论域—逻辑域;命题逻辑公式与语言;真值表验证运算性质;逻辑表达式一般方法;逻辑哲学;谓词;合式公式与一阶谓词语言;思想理论与逻辑语言;自然（科学）语言命题符合逻辑语言;符号化机械过程;符号化机械过程（续）;数学分析概念;定义（极限）是命题;定理是命题;欧几里德几何学;希尔伯特证明论;逻辑证明有何不同？;逻辑公理系统;谓词逻辑公理系统;演绎与证明;├ ?xQ(x)??yQ(y) (y不在Q中出现);定理(传递律)：P?Q,Q?R├P?R;定律与规则;命题逻辑定理;一阶谓词逻辑定理;论域、解释、赋值与模型;合式公式、合式公式集合与模型;等式关系和推论关系;前束范式;前束范式步骤;前束范式步骤（续）;等??演算一般方法;主要内容;结构主义;从结构主义观点看;命题的逻辑构造;集合基本概念、概括性公理;关系;函数;满射、单射和双射;单调性函数;集合运算;关系运算;集合相等关系;集合包含关系（子集）;集合运算性质;关系运算性质;函数运算性质;函数运算性质（续）;用集合和逻辑定义图概念;图包含关系（子图）;典型图问题（集合和逻辑表征）;群的基本概念;群（公理）;群运算;群包含关系（子群）;群的性质;定理证明方法;主要内容;计算机专业基础;数字逻辑;物理基础;命题逻辑是数字逻辑基础;3线—8线译码器功能表;多路选择器;按位逻辑运算;二进制加法运算;集合和逻辑是CPU结构模型基础;操作语义与指称语义;工程综合方法—指令通路建模（门级）;指令通路的形式证明;软件开发模型;软件建模与证明;蒙太古语用学;基于语境的证明方法;语境代换公理;循环的归纳证明;总结