逻辑——从三段论到不完全性定理_哲学_本科教材

热门关键词： 颠覆性技术创新研究现代数学基础丛书

0去购物车结算: 购物车中还没有商品，赶紧选购吧！

全部商品分类

网上书店按需印刷电子书

当前位置: 本科教材 > 哲学 > 逻辑——从三段论到不完全性定理

相同语种的商品

SAS软件实用教程（第二版）
售价：￥37.92元

基因组学方法
售价：￥47.24元

线性代数
售价：￥30.02元

蛋白质纯化指南（原书第二版）
售价：￥144.00元

精编蛋白质科学实验指南
售价：￥195.92元

企业管理信息系统
售价：￥29.23元

生态学考研精解
售价：￥27.65元

真空镀膜原理与技术
售价：￥43.45元

大学文科数学
售价：￥39.20元

对现代规范伦理学的颠破
售价：￥46.61元

联系编辑

标题：

内容：

联系方式：

逻辑——从三段论到不完全性定理

书号：9787030477026

作者：熊明
外文书名：
装帧：平装

开本：B5
页数：

字数：

语种：zh-Hans
出版社：

出版时间：
所属分类：
定价： ￥58.00元

售价： ￥45.82元

图书介质:

按需印刷

购买数量： 件可供
商品总价：

内容介绍

样章试读

用户评论

全部咨询

本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本书力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。

样章试读

暂时还没有任何用户评论

总计 0 个记录，共 1 页。第一页上一页下一页最末页

全部咨询(共0条问答)

暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。第一页上一页下一页最末页

用户名：匿名用户

E-mail：

咨询内容：

目录
第1章推陈出新：逻辑的力量1
1.1经验与理智1
1.2推理有效性4
1.3逻辑大事记7
第2章难产归纳：确证的悖论10
2.1亨佩尔悖论10
2.2古德曼悖论12
2.3归纳的穷途14
第3章演绎初成：词项的推理16
3.1主项与谓项16
3.2量项与联项18
3.3直接的推理19
第4章逻辑典范：三段论理论22
4.1三段论系统22
4.2证明三段论25
4.3公理化思想27
第5章形式无情：命题与公式30
5.1命题的联结30
5.2公式的构成33
5.3命题的形式35
第6章组合有意：公式的真假38
6.1构造真值表38
6.2公式的赋值40
6.3等价的变形42
第7章大法无机：能行的方法45
7.1判定有效性45
7.2解析树方法47
7.3能行可判定50
第8章一言九鼎：反解真值表54
8.1骑士与无赖54
8.2三思而后言55
8.3反解真值表56
第9章机关之算：逻辑代数化60
9.1有逻辑的门60
9.2线路图设计62
9.3思维的代数64
第10章解牛之术：一阶语言说69
10.1简单本有形69
10.2造化一阶语72
10.3自由与约束76
第11章触事而真：模型与满足78
11.1初试真与假78
11.2模型与指派79
11.3满足与真假82
第12章迷途知返：半可判定性86
12.1再论有效性86
12.2又用解析树88
12.3半能行判定91
第13章逻辑链条：证明的初感97
13.1证明的规则97
13.2联结词规则98
13.3量词的规则10l
第14章应有尽有：完全性定理106
14.1间接的证明106
14.2证明的策略108
14.3健全与完全ll2
第15章求全责备：模型与理论115
15.1相等之符号ll5
15.2模型的理论ll8
15.3完备公理化l23
第16章神机妙算：图灵可计算127
16.1图灵机模型l27
16.2可计算函数130
16.3不可计算性132
第17章数不胜数：公理化算术137
17.1算术的语言137
17.2皮亚诺公理139
17.3完全的片段142
第18章天外有天：哥德尔定理145
18.1不可完全性145
18.2一致性问题150
18.3大是者大非154
参考文献158
索引161

用户名：	匿名用户
E-mail：
咨询内容：

相同语种的商品

相同作者的商品

销售排行榜

浏览历史

相同系列 全选

内容介绍 样章试读 用户评论 全部咨询

内容介绍

样章试读

用户评论

全部咨询

全部咨询(共0条问答)

目录

相同系列

全选

内容介绍

样章试读

用户评论

全部咨询