Languages and Machines 在線電子書 圖書標籤: 計算機科學 語言 計算機 計算理論 編程 IT
發表於2024-11-24
Languages and Machines 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
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.
翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
評分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
評分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
評分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
評分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
Languages and Machines 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024