图书条目标准图
结构证明论（第二版）
正版全新，绝无盗版，可开具图书发票
￥ 54.6 6.1折 ￥ 89 全新
库存4件
四川成都
认证卖家担保交易快速发货售后保障
作者马明辉
出版社科学出版社
出版时间2023-06
版次31
装帧其他
上书时间2024-05-27
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
图书标准信息
- 作者 马明辉
- 出版社 科学出版社
- 出版时间 2023-06
- 版次 31
- ISBN 9787030754745
- 定价 89.00元
- 装帧 其他
- 页数 272页
- 【内容简介】
- 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算.
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价