数理逻辑(俞瑞钊)

【文件属性】：

文件名称：数理逻辑(俞瑞钊)

文件大小：8.64MB

文件格式：PDF

更新时间：2016-10-06 15:49:39

数理逻辑 人工智能

数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.