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)的副主席。
本書介紹瞭計算機科學的基礎知識,以及各種算法計算的能力和局限性。本書通過大量示例,以一種直觀、易懂的方式闡釋瞭計算機科學理論的概念及相關數學知識。第3版還擴展介紹瞭自動機理論、計算理論和計算復雜性等內容。 本書可作為計算機及相關專業的計算機科學理論課程的教材。
發表於2024-11-22
語言與機器 2024 pdf epub mobi 電子書 下載
翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
圖書標籤: 編譯原理 自動機 程序設計 語言 編譯器 編程語言 編程 Theory
語言與機器 2024 pdf epub mobi 電子書 下載