本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计...
2012.6
本书第一部分介绍了这个方法以及其它方法目前在国际上取得的重要进展和发展局限性。第二部分着重介绍近年出...
2012.8