结构证明论(第2版)--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

结构证明论既是研究逻辑性质的方法，也是逻辑研究的组成部分，通过在系统内进行推导搜索，穷尽满足特定条件的所有可能推导，就可判定给定的句法对象是否可证。本书共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

结构证明论(第2版)

库存： {{selectedSku?.stock}} 库存充足