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)的副主席。
发表于2024-12-22
语言与机器 2024 pdf epub mobi 电子书
翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
评分翻译的还行,但书本身缺少实例,缺少图片,显得有点干巴巴的。其中罗列定理证明等形式颇有些中国教科书的味道,不像一般的国外书籍。 不过其在形式语言,自动机,图灵机,可计算理论等方面都有相当理论的介绍。还是值得看看的。总之希望有更好的书出现吧。 或者谁个...
图书标签: 计算机科学 计算机科学理论 计算机 计算理论 编程 语言与机器 CS 语言学
本书是计算理论方面的优秀教材之一,包括上下文无关文法、上下文无关文法范式、有限自动机、正则语言的性质、下推自动机和上下文无关语言、图灵机、图灵可计算函数、乔姆斯基层次、判定问题与丘奇图灵机、不可判定性、Mu-递归函数、时间复杂性、库克定理、NP-完全问题、LL(k)文法以及LR(k)文法等问题。本书不仅介绍了计算机科学的基础,而且通过概念的严格表述,以及使用通俗的例子来阐释定理,从而帮助学生提高数学论证能力以及对计算理论知识的全面深入的理解。书中每章后面都有附有大量习题,通过完成这些习题,学生可以加深对本章内容的理解。
本书可以用作计算机科学、计算机工程及其相关专业的教材,也可以作为从事计算理论、形式语言以及计算机系统研发的研究人员和工程技术人员的参考书。
快速的过了一下。。
评分看完这本老子再不看计算机科学理论了。。
评分看完这本老子再不看计算机科学理论了。。
评分这本书还不错
评分第一学期学了前面几章的内容,正则表达到上下文无关到图灵机。第三学期将继续深入变成杀手课。。提前准备准备><
语言与机器 2024 pdf epub mobi 电子书