结构证明论（第二版）

社会科学总论、学术新华书店全新正版书籍

70.31 7.9折 89 全新

库存5件

江苏无锡

认证卖家担保交易快速发货售后保障

作者马明辉

出版社科学出版社

出版时间2023-06

版次31

装帧其他

货号1202983285

上书时间2024-02-19

已实名已认证进店收藏店铺

商品描述: 结构证明论既是研究逻辑性质的方法，也是逻辑研究的组成部分，通过在系统内进行推导搜索，穷尽满足特定条件的所有可能推导，就可判定给定的句法对象是否可证。本书共8章，首先介绍了结构证明论的发展历史，然后在此基础上介绍了经典逻辑和直觉主义逻辑的自然演绎和矢列演算，运用证明论研究方法，通过分析证明的结构得到一些逻辑性质，如子公式性质、可判定性、插值性质等。另外，本书还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论。

【内容简介】: 证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算.

点击展开点击收起

— 没有更多了 —