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

本课程结合学校生源实际情况，希望实现如下两个目标：
1. 强化计算机的数学基础知识，尤其是加强数理逻辑、集合论、群论等相关知识；

2. 掌握可计算性理论和计算复杂性基础知识。

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