Thomas A.Sudkamp是美國萊特州立大學計算機科學及工程係的教授,他的研究領域
廣泛,包括近似推理、人工智能、數理邏輯、建模軟計算的應用、復雜問題領域的決策製定以及不確定、不精確信息和知識發掘的機器學習。Sudkamp教授目前還擔任IEEE Transactions on System,Man,and Cybemetics和IEEE Transactions on Fuzzy Systems的副編輯,International Journal of Approximate Reasonin9和Fuzzy Sets and Systems的領域編輯。他也曾經擔任過北美模糊信息處理協會NAFIPS)的主席以及國際模糊係統聯盟(IFSA)的副主席。
本書是計算理論方麵的優秀教材之一,包括上下文無關文法、上下文無關文法範式、有限自動機、正則語言的性質、下推自動機和上下文無關語言、圖靈機、圖靈可計算函數、喬姆斯基層次、判定問題與丘奇圖靈機、不可判定性、Mu-遞歸函數、時間復雜性、庫剋定理、NP-完全問題、LL(k)文法以及LR(k)文法等問題。本書不僅介紹瞭計算機科學的基礎,而且通過概念的嚴格錶述,以及使用通俗的例子來闡釋定理,從而幫助學生提高數學論證能力以及對計算理論知識的全麵深入的理解。書中每章後麵都有附有大量習題,通過完成這些習題,學生可以加深對本章內容的理解。
本書可以用作計算機科學、計算機工程及其相關專業的教材,也可以作為從事計算理論、形式語言以及計算機係統研發的研究人員和工程技術人員的參考書。
發表於2024-11-07
語言與機器 2024 pdf epub mobi 電子書 下載
翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
圖書標籤: 計算機科學 計算機科學理論 計算機 計算理論 編程 語言與機器 CS 語言學
前麵幾章讀過.
評分快速的過瞭一下。。
評分這本書還不錯
評分看完這本老子再不看計算機科學理論瞭。。
評分前麵幾章讀過.
語言與機器 2024 pdf epub mobi 電子書 下載