第8次(离散数学是计算机专业基础问题探究).pptxVIP

离散数学是计算机专业基础问题探究;主要内容;方法论;基本问题;离散数学与计算机专业课程关系问题;数学与离散数学关系问题;离散数学课程之间关系问题;主要内容;逻辑哲学;符号化机械过程;数学分析—极限定义;数学分析（续）;数学分析（续）;集合论;数学基础及实数理论;数学基础及实数理论（续）;主要内容;π的启示：图直观性与表达式精确性;基本逻辑部件;数字逻辑;方法;传统方法;3线—8线译码器功能表;多路选择器;命题逻辑是数字逻辑的基础;CPU分析式方法;分析启示： S0+I0?O0;传统图方法;CPU结构模型;选择器抽象为对象（1输入-1输出）;CPU结构图;构建一条指令数据通路（add）;相同指令数据通路（add）;指令码逻辑表达式;部件控制信号逻辑表达式;选择器控制信号逻辑表达式;构建再一条指令数据通路（addi）;指令码逻辑表达式;部件控制信号逻辑表达式;选择器控制信号逻辑表达式;综合部件控制信号;综合多路选择器控制信号;SISE方法（思想与计算分离）;MIPS的CPU设计的一般方法;主要内容;安全攸关软件需求;程序与证明;大规模复杂软件验证的问题;A级软件开发验证过程（DO-178C）;工符合工业标准软件的验证能力;形式规范;B*形式规范;离散数学是软件设计的基础;离散数学是数据结构基础;传统二叉树图;线性表集合模型;表的插入操作;二叉树;二叉树集合模型;二叉树删除操作;用离散数学方法构建数据结构模型;软件低级需求;vmkGetVMID;软件设计;vmkGetVMID;蒙太古语用学及软件验证;程序的形式演绎;语境ω(xk)代换公理;程序证明;循环的归纳证明;表Insert逻辑证明;程序证明;小结;谢 谢