دانلود کتاب 计算理论导引: 原书第3版
by 迈克尔·西普塞 (Michael Sipser)
|
عنوان فارسی: مقدمه ای بر نظریه محاسبات: چاپ سوم کتاب اصلی |
دانلود کتاب
جزییات کتاب
书签制作方法请找 [email protected]
完全免费
《计算理论导引(原书第3版)》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。