主要内容包括形式语言与自动机、Turing机的可计算性与递归函数，计算复杂性以及数理逻辑的相关内容。主要这门课程所涉及的基本理论、原理和经典的结论，为强调证明思想的重要性
2021-04-20 14:20:40
25.41MB
1
哈工程计算理论期末考试题目，全是真题，把真题好好背背，60分很容易，80分就内多看看，90分就得多算算。
2021-04-10 14:28:26
8.76MB
1
打包文件中包括中文的和英文的计算理论答案，给学习计算理论中遇到困难的提供帮助。这是很好的资料，希望大家能够喜欢。
2021-03-10 13:23:34
2.1MB
1
本书由计算理论领域的知名权威Michael Sipser所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对子算法描述，均以直观的文字而非伪代码给出，从而将注意力集中子算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的......
2021-03-09 15:15:12
2.09MB
1
本书由美国麻省理工学院Michael Sipser所撰写。四川大学唐常杰等人翻译。本他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。内容很好，本书十分畅销，这里给出课后习题答案
2021-03-03 12:25:40
2.09MB
1