可计算性与计算复杂性课件，中国科学院大学2014秋季的课件，夏道藏老师的课件。。

一本经典的教材，希望对更多的朋友有用

Davis is the co-inventor of the Davis–Putnam algorithm and the DPLL algorithms. He is also known for his model of Post–Turing machines, and his work on Hilbert's tenth problem leading to the MRDP theorem.

软件介绍: PDF扫描版《可计算性与数理逻辑》语言是简体中文，清晰度尚可。    我们的最终目标是给出某些关于计算能力和证明能力局限性的重要定理.在此之前，需要分析可计算性和可证明性.最初，计算涉及正整数1，2，3，…，而证明由通常的字母A，B．C…或某些其他符号的序列组成。重要的是，要通过分析可计算性和可证明性，来理解正整数和符号序列之间的关系，以及本章提供的有关背景材料。讨论的主要问题是区分两类不同的无限集：可枚举集和不可枚举集。本章只是集合论著作中更全面阐述的无限集理论内容的一部分：与计算和证明密切相关的部分。1.1节引进可枚举性的概念，1.2节则列举一些可枚举集的例子。下一章将给出不可枚举集的例子。

一本经典的关于可计算性理论的书籍，作者Michael Sipser，供职于MIT

Theory and Applications of Computability系列书本中的第3本。可计算性理论的高级专题！

适合计算机专业类和数学类专业本科以上参考使用

可计算性与计算复杂性导引-张立昂 课本pdf图片版。

图灵机与可计算性课件.rar 图灵机与可计算性课件.rar

该资源的介绍请看这里： http://blog.csdn.net/zzljlu/archive/2011/04/09/6311398.aspx 注意：该笔记还没有最终完成，欢迎各种反馈！