专业名称计算机应用技术.doc

专业名称：计算机应用技术 课程编号：S0112010711021 课程名称：最优化方法课程英文名称：Methods in Optimization 学分: 3 周学时 总学时：54 课程性质：硕士学位基础/选修课 适用专业：系统理论、系统分析与集成（硕士学位基础课）； 计算机应用技术、 计算机系统结构、 计算机软件与理论（硕士学位选修课） 教学内容及基本要求: 教学内容： 最优化方法是一门新兴的应用数学分支，讲授实现最优目标的方法。近二三十年来随着电子计算机的普遍应用而迅猛发展，最优化已经广泛地应用于国民经济各个部门和科学技术的各个领域中。 最优化理论和方法的内容极其广博，根据工科研究生课程指导委员会制定的“工学硕士研究生最优化方法课程教学基本要求”，本课程选取了线性规划、非线性规划、多目标规划与动态规划四部分．每部分内容着重阐明基本理论与基本方法．既阐述了经过长期考验被认为是有效的方法，也给出了很有实用价值的新方法，并辅之以相应的例题和习题，使学生在该领域的进一步学习和研究打下良好的基础。 考核方式及要求：考试。 学习本课程的前期课程要求：高等数学 教材及主要参考书目、文献与资料： 解可新、韩健、林友联编：《最优化方法》，天津大学出版社 填写人：顾国庆 教授 审核人：杨宗源 教授 课程编号： S0112010711031 课程名称：数理逻辑课程英文名称：Mathematical Logic 学分: 3 周学时 总学时：54 课程性质：硕士学位选修课 适用专业：计算机软件与理论、计算机应用技术、计算机系统结构、系统理论、系统分析与集成 教学内容及基本要求: 教学内容： 数理逻辑与计算机科学有着十分紧密的联系，数理逻辑在计算机科学中得到了广泛和深刻的应用，其重要性越来越为计算机科学界所认识。数理逻辑是数学的一个分支，但从某种程度上讲，计算机科学界反而更推崇数理逻辑，计算机科学的发展对数理逻辑产生了很大的影响，推动了数理逻辑的发展，开辟了许多新的数理逻辑分支。然而，通常在离散数学中所介绍的数理逻辑理论远不能满足计算机工作者的需要。 本课程以经典的一阶谓词演算为核心和基础来展开，以数理逻辑在计算机科学中的应用为导向，着重于陈述有关的理论体系，而尽可能少涉及不十分必要的证明细节。此外，还要介绍几种针对计算机科学而发展起来的非经典的逻辑系统，主要是模态逻辑和时序逻辑，也简要地介绍了其他一些非经典的逻辑系统，如非单调逻辑等等。 基本要求： 本课程将使学生对计算机科学有更深刻的理解，为今后进行科研提供有力的工具。 考核方式及要求：考试 学习本课程的前期课程要求：离散数学 教材及主要参考书目、文献与资料： 陆钟万:《面向计算机科学的数理逻辑》,科学出版社，1998年 王元元：《计算机科学中的现代逻辑学》，科学出版社，2001年 A. G. Hamilton：《Logic for Mathematicians (Revised Edition)》，清华大学出版社，2003年 S. B. George, P. B. John, C. J. Richard：《Computability and Logic (Fourth Edition)》，电子工业出版社，2003年 B. John：《Handbook of Mathematical Logic》， North-Holland Publishing Company,1977 填写人：章炯民 副教授 审核人：杨宗源 教授 课程编号：S0112010812005 课程名称：程序设计方法学课程英文名称：Programming Methodology 学分: 3 周学时 总学时：54 课程性质：硕士学位基础课 适用专业：计算机软件与理论、计算机应用技术、计算机系统结构、系统分析与集成、系统理论 教学内容及基本要求: 教学内容： 综述； 程序的基本结构； 程序的数据结构； 程序的正确性证明； 程序的形式推导方法； 程序设计的形式化方法； 并行程序设计方法。 基本要求：了解程序设计方法学的地位和重要性；掌握程序控制结构构成的基本原理、基本成份；明确数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性并掌握相关技术；掌握程序正确性证明的基本方法，具有构造程序规范的能力；熟悉并掌握传统的和面向对象的软件开发方法与基本理论；理解形式化软件开发的基本原理和典型方法；理解并行程序设计基本概念,具有并行程序设计的初步能力. 考核方式及要求：笔