边城剑客读过的书 >
-
计算机不能做什么:人工智能的极限
(17人已评价)休伯特--德雷福斯 | 生活.读书.新知 三联书店 | 1986在反人工智能者中,最为人所熟悉的就是休伯特--德雷福斯及其同在伯克利执教的工程学教授斯图亚特--德雷福斯。在本书中,休伯特--德雷福斯诉诸现象学海德格尔,胡塞尔,梅洛--庞蒂以及另一派维特根斯坦的工作...
-
面向计算机科学的数理逻辑
(51人已评价)陆钟万 | 科学出版社 | 2002-1《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的...