数理逻辑教程
2025-02-17 17:54:34
文学小说
2
作者简介:
陈慕泽:中国人民大学哲学系、宗教学系教授,博士生导师,逻辑教研室主任。教育部逻辑学基地、中山大学逻辑与认知研究所兼职研究员,中国逻辑学会常务理事。主要讲授《逻辑学》、《数理逻辑》、《数理逻辑史》、《模态逻辑》、《专业外语》等本科和研究生课程。主要著作有《数理逻辑教程》、《现代逻辑方法论》、《逻辑学》等。
内容简介:
数理逻辑是思维科学的一个分支,也是数学的一个分支。本书包括:命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。
评论