語言與機器計算機科學理論導論(原書第3版)

語言與機器計算機科學理論導論(原書第3版)

作者: Thomas·A.·Sudkamp

ISBN: 9787111226345 出版時間: 2008-03-01

出版社: 機械工業出版社

Thomas·A.·Sudkamp 0 0 0
《語言與機器計算機科學理論導論(原書第3版)》是計算理論方面的優秀教材之一,包括上下文無關文法、上下文無關文法範式、有限自動機、正則語言的性質、下推自動機和上下文無關語言、圖靈機、圖靈可計算函數、喬姆斯基層次、判定問題與丘奇圖靈機、不可判定性、Mu-遞歸函數、時間複雜性、庫克定理、NP-完全問題、LL(k)文法以及LR(k)文法等問題。《語言與機器計算機科學理論導論(原書第3版)》不僅介紹了計算機科學的基礎,而且通過概念的嚴格表述,以及使用通俗的例子來闡釋定理,從而幫助學生提高數學論證能力以及對計算理論知識的全面深入的理解。書中每章後面都有附有大量習題,通過完成這些習題,學生可以加深對本章内容的理解。
《語言與機器計算機科學理論導論(原書第3版)》可以用作計算機科學、計算機工程及其相關專業的教材,也可以作為從事計算理論、形式語言以及計算機系統研發的研究人員和工程技術人員的參考書。
理論計算機科學是推動計算機技術和應用向前發展的巨大動力。形式語言、自動機、可計算性、計算複雜性和相關方面内容構成的計算理論,是理論計算機科學的基礎内容之一。《語言與機器計算機科學理論導論(原書第3版)》由美國萊特州立大學計算機科學及工程系的Thomas A.Sudkamp教授編寫,是介紹這些内容的優秀教材。
全書不僅介紹了計算機科學的基礎,探讨了算法計算的能力和局限;而且還通過概念的嚴格表述,以及使用通俗的例子來解釋定理,從而幫助學生提高數學論證能力。書中每章後面都有一些練習,通過這些練習使學生加深對本章内容的理解。《語言與機器計算機科學理論導論(原書第3版)》不僅介紹了計算機科學的基礎,探讨了算法計算的能力和局限;而且還通過概念的嚴格表述,以及使用通俗的例子來解釋定理,從而幫助學生提高數學論證能力。書中每章後面都有一些練習,通過這些練習使學生加深對本章内容的理解。
暫無短評我來說幾句