计算机未来发展纲要研讨.ppt

从计算机工程教育看知识、能力与;主要内容技术发展能力要求工程方;从PITAC2005看美国总统;第四范式关于一种新的基于数据密;软件：工业的未来概念第四次工业;国际工业标准规范飞机及系统开发;DO-178C软件开发过程美国;A级软件开发与验证（DO-17;软件规范理论及软件验证问题Ma;64位RISC技术及高速网络赛;标准ASIC/FPGA设计流程;主要内容技术发展能力要求工程方;知识与能力“知识是得到论证的真;工程教育认证为了推进工程教育加;“复杂工程问题”特征（1）必须;毕业要求（1/3）1.工程知识;毕业要求（2/3）5.使用现代;毕业要求（3/3）9.个人和团;计算机专业知识体系知识体系按知;2013ACM/IEEE课程体;计算机专业课程关系问题核心课程;计算机专业的基础问题逻辑是所有;主要内容技术发展能力要求工程方;方法论系统论观点贝塔朗菲提出“;系统方法系统论系统、状态、环境;系统能力与准则系统论功能：输入;分析方法与综合方法分析方法给定;分析与（SISE）方法设S是;探究工程综合方法Synthes;从解决“复杂工程问题”看系统能;主要内容技术发展能力要求工程方;思想理论与逻辑语言弗雷格思想理;科学知识表达世界是由事实构成的;符号化机械过程自然语言的命题符;极限的定义柯西：当属于一个变量;希尔伯特证明论通过形式化第一次;谓词逻辑公理系统(1)谓词逻辑;理论及其证明形式语言L理论Th;逻辑表达与证明能力逻辑表达能力;主要内容技术发展能力要求工程方;核心课程教学体系数字逻辑结合数;物理基础组合逻辑：与门、或门、;命题逻辑是数字逻辑基础概念与逻;功能的逻辑表达式一般方法若xi;3线—8线译码器功能表（因变量;多路选择器（5选1）多路选择器;数字逻辑是计算机组成的基础数字;传统教学方法—图式分析法原理性;π的启示：图直观性与表达式精确;逻辑是基础的信念用形式逻辑的方;CPU结构模型用结构模型方法构;理解指令及操作语义加法指令ad;创建基本通路模型处理组织成5个;工程综合结构构建简单通路模型基;软件框架指令复杂通路及CPU系;RISC指令集系统构建和形式验;RISC指令集系统构建和形式验;实时安全关键操作系统构建和形式;实时安全关键操作系统构建和形式;高可信编译系统构建和形式验证目;高可信编译系统构建和形式验证（;符合认证审定的开发环境构建和形;符合认证审定的开发环境构建和形;知识、能力与工程方法分析方法学;无标题