表格7.计算机学院（系、所）硕士研究生课程简介.docVIP

表7．计算机 学院（系、所）硕士 研究生课程简介 课程名称：可计算性与计算复杂性理论 英文名称：Computability and Computational Complexity 课程类型：■讲授课程 □实践（实验、实习）课程 □研讨课程 □专题讲座 □其它 考核方式： 考试或考查 教学方式：讲授、研讨 适用专业： 理工文医各专业 适用层次： 硕士 ■ 博士 □ 开课学期： 秋 总学时/讲授学时： 48 / 48 学分：4 先修课程要求：离散数学 课程组教师姓名 职 称 专 业 年 龄 学术专长 金人超 教授 计算机 47 人工智能与医学图像处理 许如初 副教授 计算机 56 算法与计算机理论 课程教学目标： 介绍可计算性与计算复杂性的基本理论，使学生了解不可计算问题，了解现实难解问题以及NP完全理论，求解NP难问题的常用策略。 教学大纲（章节目录）： 第一章 图灵机与编码 §1.1 自然数集合与形式语言 §1.2 数论函数与有穷字母表上的函数 §1.3 理论计算机模型：图灵机 §1.4 图灵机的编码 第二章 部分可计算函数与递归可枚举集 §2.1 原始递归函数 §2.2 部分可计算函数与可计算函数 §2.3 递归可枚举集与可计算集 §2.4 Church论题 第三章 不可解问题 §3.1 通用图灵机 §3.2 停机问题的不可解性 §3.3 对角线方法 §3.4 有穷损害优先方法 §3.5 讨论：随着计算机技术的进步，是否只要计算时间足够长，计算机就能计算所有数学问题？ 第四章 现实难解问题 §4.1 多项式时间复杂度 §4.2 P与NP §4.3 NP完全与NP难 §4.4 讨论：为什么有些理论上可用计算机求解的问题在现实中难解？依靠提升计算机硬件的运算速度的方法能否解决这些问题？依靠并行计算机技术呢？ §4.5 求解NP难问题的常用策略 §4.6 讨论：如何从理论上证明一个问题是NP难的？如何对付现实中的NP难问题？ 教材： 近世计算理论导引：NP难问题的背景、前景及其求解算法研究. 黄文奇、许如初，科学出版社，2004 主要参考书： 1. Computability, complexity, and languages : fundamentals of theoretical computer science. Martin D. Davis, Elaine J. Weyuker. New York : Academic Press, 1983. 2. 可计算性与计算复杂性导引. 张立昂编著. 北京大学出版社, 1996 3．计算机和难解性: NP完全性理论导引. (美)M.R.加里, D.S.约翰逊著 , 张立昂等译,科学出版社, 1987 注：每门课程都须填写此表。本表不够可加页