语言与机器计算机科学理论导论（原书第3版）理论计算机科学是推动计算机技术和应用向前发展的巨大动力。形式语言、自动机、可计算性、计算复杂性和相关方面内容构成的计算理论，是理论计算机科学的基础内容之一。本书由美国莱特州立大学计算机科学及工程系的Thomas A.Sudkamp教授编写，是介绍这些内容的优秀教材。

全书不仅介绍了计算机科学的基础，探讨了算法计算的能力和局限；而且还通过概念的严格表述，以及使用通俗的例子来解释定理，从而帮助学生提高数学论证能力。书中每章后面都有一些练习，通过这些练习使学生加深对本章内容的理解。

第三版亮点：
·超过100个新的习题和示例
·强调问题表述和问题归约的重要性·显著地扩展了计算复杂性的覆盖面
·增加了用问题归约证明NP完全性的章节
·处理NP完全问题时给出了近似算法集

作者简介

Thomas A.Sudkamp 是基国基持州立大学计算机科学者及工程系的教授，他的研究领域广泛，包括近似推理、人工智能、数理逻辑、建模软计算的应用、复杂问题领域介|的决策制定以及不确定、不精确信息和知识发掘的机器学习。Sudkamp教授目前还担任IEEE Transactions on System.Man，and Cybernetics和IEEE Transactions on Fuzzy Systems的副编辑，International Journal of Approximate Reasoning和Fuzzy Sets and Systems的领域编辑。他也曾经担任过北美模糊信息处理协会（NAFIPS）的主席以及国际模糊系统联盟（IFSA）的副主席。

语言与机器计算机科学理论导论  （原书第三版）_11959552.pdf: https://545c.com/file238/12623596-426191807