课程概述

良好的数学基础是开展计算机科学相关专业研究的重要前提。本课程结合学校教学实际，针对生源特点，开展相关专题学习。
主要包括离散数学数学基础（含数理逻辑与证明方法、集合关系与函数理论、群论基础）、可计算理论（主要包括图灵模型、算盘机模型和递归模型）以及计算复杂性基础（主要包括空间复杂性、NP完全理论）等。
希望学生能通过本课程的学习，掌握和理解计算理论与方法的核心思想，巩固计算机数学基础知识，为后续课程的学习打下坚实的基础。

证书要求

  1. 课堂出勤  10%

  2. 课堂报告  30%

  3. 期末考试  60%



    合格：  60以上
    良好：  80以上

    优秀：  90以上

预备知识

高等数学

授课大纲

课时

参考资料

1) 张兴元 等，计算理论与符号逻辑  科学出版社  2011

2) 张立昂 可计算性与计算复杂性导论 北京大学出版社 2004

3) Michael Sipser, Introduction to the Theory of Computation. Thomson Learning, 1997.

4）黄文奇 近世计算理论导引——NP难度问题的背景、前景及其求解算法研究 科学出版社 2004