扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
-
>
中医诊断学--新世纪第五版
-
>
中药学·全国中医药行业高等教育“十四五”规划教材
-
>
中医外科学——全国中医药行业高等教育“十四五”规划教材
结构证明论(第二版) 版权信息
- ISBN：9787030754745
- 条形码：9787030754745 ; 978-7-03-075474-5
- 装帧：平装
- 册数：暂无
- 重量：暂无
- 所属分类：>>
结构证明论(第二版) 本书特色
本书介绍以自然演绎和矢列演算为代表的系统，展示了结构证明论的基本原理和方法。
结构证明论(第二版) 内容简介
结构证明论既是研究逻辑性质的方法，也是逻辑研究的组成部分，通过在系统内进行推导搜索，穷尽满足特定条件的所有可能推导，就可判定给定的句法对象是否可证。本书共8章，首先介绍了结构证明论的发展历史，然后在此基础上介绍了经典逻辑和直觉主义逻辑的自然演绎和矢列演算，运用证明论研究方法，通过分析证明的结构得到一些逻辑性质，如子公式性质、可判定性、插值性质等。另外，本书还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论。
结构证明论(第二版) 目录
目录 丛书序 第二版前言 **版前言 第1章 绪论 1 1.1 证明的概念 1 1.2 公理系统与形式系统 3 1.3 证明论的发展 7 第2章 句子逻辑 10 2.1 古典句子逻辑 10 2.2 直觉主义句子逻辑 25 2.3 嵌入定理 35 习题 38 第3章 自然演绎 41 3.1 费奇式自然演绎 41 3.2 甘岑式自然演绎 46 3.3 正规化 54 习题 65 第4章 矢列演算 68 4.1 G0 型矢列演算 68 4.2 切割消除 76 4.3 可判定性 90 4.4 插值性质 96 习题 103 第5章 矢列演算的结构规则 106 5.1 交换规则和弱化规则 106 5.2 收缩规则 117 5.3 直觉主义句子逻辑的停机矢列演算 136 习题 146第6章 一阶逻辑 149 6.1 一阶逻辑的公理系统 149 6.2 一阶逻辑的矢列演算 161 6.3 直觉主义谓词逻辑的矢列演算 171 习题 176 第7章 古典模态句子逻辑 178 7.1 正规模态逻辑 178 7.2 模态矢列演算 192 7.3 超矢列演算 205 习题 215 第8章 代数逻辑 218 8.1 偏序代数结构 218 8.2 格与分配格 221 8.3 德摩根代数 234 习题 241 参考文献 243 后记 247
展开全部
书友推荐
- >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.1¥24.0 - >
烟与镜
烟与镜
¥20.6¥48.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
随园食单
随园食单
¥20.6¥48.0
