《语言与机器》

语言与机器txt，chm，pdf，epub，mobi下载
作者: 苏达坎
出版社: 清华大学
副标题: 计算机科学理论导论
出版年: 2007-7
页数: 654
定价: 69.00元
ISBN: 9787302151722

内容简介  · · · · · ·

本书介绍了计算机科学的基础知识，以及各种算法计算的能力和局限性。本书通过大量示例，以一种直观、易懂的方式阐释了计算机科学理论的概念及相关数学知识。第3版还扩展介绍了自动机理论、计算理论和计算复杂性等内容。 本书可作为计算机及相关专业的计算机科学理论课程的教材。

作者简介  · · · · · ·

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)的副主席。

目录  · · · · · ·

Introduction and Table of Contents (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap00.pdf

Chapter 1: Logic (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap01.pdf

· · · · · · ()
Introduction and Table of Contents (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap00.pdf

Chapter 1: Logic (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap01.pdf

Chapter 2: Languages (updated 8th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap02.pdf

Chapter 3: Sets, Functions and Relations (updated 8th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap03.pdf

Chapter 4: Introduction to Finite-State Machines (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap04.pdf

Chapter 5: Equivalence and Reduction of Finite-State Machines (updated 8th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap05.pdf

Chapter 6: Non-Deterministic Finite-State Machines (updated 8th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap06.pdf

Chapter 7: Finite State Acceptors and Regular Languages (updated 8th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap07.pdf

Chapter 8: Turing Machines (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap08.pdf

Chapter 9: Extended Turing Machines (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap09.pdf

Chapter 10: The Busy Beaver Problem (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap10.pdf

Chapter 11: Integers mod m and Public Key Cryptography (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap11.pdf

Chapter 12: Polynomial Codes (updated 15th July 2005)
http://www.ics.mq.edu.au/~chris/math237/chap12.pdf

Appendices (updated 8th July 2005)
http://www.ics.mq.edu.au/~chris/math237/appendix.pdf
· · · · · · ()