吉林大学计算机研究生可计算性与计算复杂性

[复制链接]
abear 发表于 2016-12-13 22:46:35 | 显示全部楼层 |阅读模式
可计算理论是由递归函数的产生而发展的,其核心问题是:什么是可计算的,以及如何保证计算的自动性,有效性和正确性。数理逻辑学家研究定理证明及其推导的特殊计算,从而产生了可计算理论。

计算学科研究的根本问题是能行性问题,即如何用简单的语言从最简单的对象出发,构造通用模型。在计算机知识掌握的过程中,我们应遵循“硬件跟着软件走,软件跟着模型走,模型跟着学科应实践用走,学科应用实践跟着自然走”。在这个过征程中,我们不仅要考虑一个算法模型时间复杂性,还要考虑它的空间复杂性。

通过对于这一课程的学习,是我认识到,计算机学科根植于数学,又不同于数学。提高对计算理论的掌握,不仅提高了我们的逻辑思维能力,更提高了我们对现实事务的抽象和解决能力。


资料往下翻

本帖被以下学院推荐:

 楼主| abear 发表于 2016-12-13 22:58:48 | 显示全部楼层
历年考试 练习题
可计算性与计算复杂性课后习题与答案
点击此处下载

免费下载

568.06 KB, 下载次数: 2121

 楼主| abear 发表于 2016-12-13 22:49:13 | 显示全部楼层
历年考试题目

可计算性与计算复杂性2007级以前历年考试题共十套
点击此处下载

免费下载

214.63 KB, 下载次数: 1886