麻省理工（MIT）的经典教材，讲述了自动机，可计算性和计算复杂性这三个方面，叙述通俗易懂，颇具可读性，可当作编译原理的先导课程
2021-02-27 17:09:30
7.15MB
1
MIT的教材，概念清晰，深入浅出。本书由该领域著名专家兼教育家所著。作者以独特的直觉及广阔的视角向读者展现了计算机科学理论。作者将其清晰而生动的研究建立在广泛的数学规律的基础上．而不是拘泥于低水平的技术细节。比如：对每个论据均提供了“论点“，该论点揭示了数学公式的概念。同样为使读者注重算法本身而不是具体模型，本书用语言而不是伪代码讲述了算法。本书在MIT的讲义的基础上增加了一些内容，如空间复杂性(第3章)．可证明的难题(第9章)和关于计算理论的高级话题(第10章)。
2021-02-27 17:09:09
6.73MB
1
《计算理论导引》是计算理论领域的经典著作，被国外多所大学选用用为教材。系统地介绍计算机理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。本书课后习题答案价值巨大，对于理解计算理论具有重要作用，本资源正事基于习题给出的一个非常好的答案！
2020-03-25 03:03:36
150KB
1
本书由美国麻省理工学院Michael Sipser所撰写。四川大学唐常杰等人翻译。本他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。内容很好，本书十分畅销，这里给出课后习题答案
2020-03-16 03:11:29
2.09MB
1
本书系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。作者以清闲的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
2020-03-16 03:04:27
23.86MB
1
《可计算性理论》张鸣华，内容丰富。书价1.50元，扫描价32.0元。因为是比较基础的理论所以不过时。惜其绝版。并不知道其内容与现存的莫绍揆的递归论相比如何，欢迎评论区评论。
2020-02-25 03:04:03
19.46MB
1