语言与机器 在线电子书 图书标签: 编译原理 自动机 程序设计 语言 编译器 编程语言 编程 Theory
发表于2024-11-22
语言与机器 在线电子书 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)的副主席。
本书介绍了计算机科学的基础知识,以及各种算法计算的能力和局限性。本书通过大量示例,以一种直观、易懂的方式阐释了计算机科学理论的概念及相关数学知识。第3版还扩展介绍了自动机理论、计算理论和计算复杂性等内容。 本书可作为计算机及相关专业的计算机科学理论课程的教材。
翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
语言与机器 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024