出版社:清华大学出版社
年代:2016
定价:25.0
本书阐述离散对象计算原理,也就是图灵计算原理。具体而言,本书解答如下问题:1、可计算概念是如何提出的?(希尔伯特第10问题:丢番图算法问题)2、图灵是如何设计一个机械装置实现算术运算的?(图灵机原理)3、如何把图灵机的操作表示为数学函数?(递归函数与图灵机的对应关系)4、如何使用图灵机?(自动机的乔姆斯基文法)5、图灵说人的思维和智能与图灵计算没有本质差别,是真的吗?(图灵机的哲学意义)。
(美) 西普塞 (Sipser,M.) , 著
(美) 刘易斯 (Lewis,H.R.) , (希) 帕帕蒂米特里奥 (Papadimitriou,C.H.) , 著
(美) 辛格 (Singh,A.) , 著
(美) 戴维斯 (Davis,M.D.) , (美) 西加尔 (Sigal,R.) , (美) 韦约克 (Weyuker,E.J.) , 著
(美) 迈克尔·西普塞 (Michael Sipser) , 著
李德荣, 张连子, 主编
(美) 塞普瑟 (Sipser,M.) , 著
倪天林, 主编
瞿正刚, 边召海, 李波, 主编