数理逻辑基础百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有82,618项符合查询结果项。（搜索耗时：0.2018秒）

数理逻辑

查看PDF目录购买本书
汪芳庭编著1990 年出版273 页ISBN：7312002005
数理逻辑与机器证明

查看PDF目录购买本书
陆钟万著1983 年出版186 页ISBN：7030019199
数理逻辑

查看PDF目录购买本书
孙明湘著2004 年出版223 页ISBN：7810619683
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
现代逻辑学讲义 数理逻辑

查看PDF目录购买本书
李小五编著2005 年出版265 页ISBN：7306025880
本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
弗雷格逻辑哲学与现代数理逻辑思潮

查看PDF目录购买本书
郭泽深著2006 年出版247 页ISBN：7500458835
弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。
几何与数理逻辑

查看PDF目录购买本书
汤璪真著2007 年出版224 页ISBN：7303084533
本书介绍汤璪真先生所著几何与数理逻辑的内容。
数理逻辑（离散数学一分册）

查看PDF目录购买本书
王捍贫1997 年出版271 页ISBN：
数理逻辑 离散数学一分册

查看PDF目录购买本书
王捍贫编著1997 年出版271 页ISBN：7301034903
数理逻辑引论

查看PDF目录购买本书
朱梧槚，肖奚安编著2008 年出版243 页ISBN：7561140339
本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经典逻辑纲要。
数理逻辑与集合论

查看PDF目录购买本书
石纯一，王家廞编著1990 年出版300 页ISBN：7302005575