结构证明论(第二版) 马明辉 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载(价值89元)【高清非扫描版】(2023年06月)

《结构证明论(第二版)》马明辉 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载(价值89元)【高清非扫描版】(2023年06月)

结构证明论(第二版) 马明辉 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载(价值89元)【高清非扫描版】(2023年06月)-期末不挂科(qimobuguake.com)

图书简介:

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

目录:

丛书序
第二版前言
第一版前言
第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

期末不挂科(qimobuguake.com):专注提供大学考试期末不挂科网课视频,课程适用期末/补考/重修的大学生们。猴博士爱讲课不挂科、蜂考高斯课堂不挂科、高数叔不挂科、高数帮不挂科、斐多课堂不挂科,学霸戴你飞不挂科全套网课视频课程。
期末不挂科(qimobuguake.com) » 结构证明论(第二版) 马明辉 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载(价值89元)【高清非扫描版】(2023年06月)

常见问题FAQ

本站PDF电子教材/电子书版本标注说明
【高清原版 非扫描版】:非扫描,高清原版品质,文字可编辑 。
【高清非扫描版】:非扫描,高清品质,文字不可编辑。
已经购买的资源,有效期是多久?
账号内已购资源:百度网盘分享,永久有效,不过期。
网盘链接地址失效了怎么办?
本站学习资源因防盗链原因,每次生成链接有效期一般为30天,如遇链接地址过期失效, 请联系网站在线QQ客服并提供失效资源链接地址,工作时间内我们看到后将第一时间回复。
遇到付款失败,付款后没有生效怎么办?
理论上来说正常付款后不会出现此类问题,但是也会有部分用户因为网络等原因导致在付款的过程中会有一些小插曲。如果出现类似问题,大可不必惊慌,本站所有支付都会生成订单,不管成功还是失败,所以如果真正遇到网络问题导致付款失败您又不知道是否成功时,请提供 "付款凭证+个人中心用户名" 截图给在线QQ客服处理。
是否可以提供发票?
本站提供的知识付费课程、电子教材、期刊杂志、艺术名画等内容均为虚拟服务,不提供任何形式的发票。