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)的副主席。
The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations. In this edition the presentation has been enhanced by increasing the number of examples, expanding the selection of topics particularly in the area of computational complexity, and providing a flexible format giving instructors the ability to design their courses that concentrate on specific areas such as automata theory, computability theory, or computational complexity.
發表於2024-12-25
Languages and Machines 2024 pdf epub mobi 電子書 下載
翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
評分翻譯的還行,但書本身缺少實例,缺少圖片,顯得有點乾巴巴的。其中羅列定理證明等形式頗有些中國教科書的味道,不像一般的國外書籍。 不過其在形式語言,自動機,圖靈機,可計算理論等方麵都有相當理論的介紹。還是值得看看的。總之希望有更好的書齣現吧。 或者誰個...
圖書標籤: 計算機科學 語言 計算機 計算理論 編程 IT
Languages and Machines 2024 pdf epub mobi 電子書 下載