陈慕泽:中国人民大学哲学系、宗教学系教授,博士生导师,逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员,中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。
数理逻辑是思维科学的一个分支,也是数学的一个分支。本书包括:命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。
评分
评分
评分
评分
最后一章一阶理论看不懂没看完,写得很细很不错。
评分宏观上比徐明的清晰,细节上不太好,另外证明中的自然语言太多了,反而不直观。
评分和AG汉密尔顿的数理逻辑基本相似
评分最后一章一阶理论看不懂没看完,写得很细很不错。
评分最后一章一阶理论看不懂没看完,写得很细很不错。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有