结构推理
￥ 22.37 3.3折 ￥ 68 九五品
仅1件
北京东城
认证卖家担保交易快速发货售后保障
作者冯棉
出版社广西师范大学出版社
ISBN9787549561971
出版时间2015-03
版次1
装帧精装
开本16开
纸张胶版纸
页数260页
定价68元
上书时间2024-05-05
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:结构推理
定价：68.00元
作者:冯棉
出版社：广西师范大学出版社
出版日期：2015-03-01
ISBN：9787549561971
字数：
页码：260
版次：1
装帧：精装
开本：16开
商品重量：
编辑推荐
“智慧的探索丛书”收入了华东师范大学哲学学科几代学人的哲学论著，展示了几代学人的智慧之思。 《结构推理》系统地考察了命题逻辑的结构推理，是国内第一次系统关注并深入推进这一逻辑前沿的力作，填补了国内逻辑学在这一重要领域内的空白。全书内容丰富，信息量大；结构合理，层次感强；文字简洁，符号；行之明快，条理清晰，充分体现了现代逻辑研究的“数理性”和“严格性”特点。
内容提要
目录
章 经典命题逻辑的结构推理§1. 1 经典命题逻辑的结构推理系统PL§1. 2 切割规则与其它导出规则§1. 3 系统PL与相应公理系统P的等价性第二章 直觉主义命题逻辑的结构推理§2. 1 直觉主义命题逻辑的结构推理系统IL§2. 2 系统IL与相应公理系统IP的等价性§2. 3 二元关系语义第三章 相干命题逻辑及其线性片段的结构推理§3. 1 相干命题逻辑的结构推理系统RL及其线性片段BCL§3. 2 系统RL、BCL与相应公理系统R、BC的等价性§3. 3 三元关系语义§3. 4 系统RL、BCL的完全性第四章 正结合演算的结构推理§4. 1 正结合演算的结构推理系统BL§4. 2 系统BL与相应公理系统B的等价性§4. 3 择类语义§4. 4 正结合演算结构推理系统BL-D的可判定性参考文献符号表索引后记
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价