高性能计算系统.docVIP

软件的数学背景 Mathematical Fundamentals for Software 课程编号：………. 课程属性：公共基础课 学时/学分：40/2 预修课程：递归概念及应用、程序设计、软件体系结构 教学目的和要求： 本课程面向中高级软件人才的培养而开设，目的是为学生在将来进入软件设计和实现，特别是复杂的软件系统的设计与实现所应该具备的数学背景知识，以求减少软件研发中的盲目性和试探性，为增加软件设计的合理性和可靠性提供必要的基础理论意义上的支持。 内容提要： 第一章 基础知识 能行性， 映射，布尔代数 第二章 递归 递归， 递归函数类，软件的控制机制与递归的关系 第三章 计算模型 递归函数类，图灵机，λ－演算，Post模型，Horn子句 第四章 自动机 状态机，有限自动机，下推自动机，Markov链 第五章 Boole代数 基本知识，布尔代数与集合论的关系，布尔逻辑在软件中的应用举例 第六章 PETRI网 基本Petri网，随机Petri网，扩展的DSPN，Petri网的应用 主要参考书： 1. R.L. Graham, D.E. Knuth, O. Patashnik, Concrete Mathematics, Addison-Wesley Publishing Company, 1990. 2. John E. Hopcrof