未读消息消息

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

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

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

分享

作者: 熊明著

出版社: 科学出版社

出版时间: 2016-03

版次: 1

ISBN: 9787030477026

定价: 58.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 167页

字数: 226千字

正文语种: 简体中文

分类: 哲学心理学

29人买过

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

第2章难产归纳：确证的悖论
2.1亨佩尔悖论
2.2古德曼悖论
2.3归纳的穷途

第3章演绎初成：词项的推理
3.1主项与谓项
3.2量项与联项
3.3直接的推理

第4章逻辑典范：三段论理论
4.1三段论系统
4.2证明三段论
4.3公理化思想

第5章形式无情：命题与公式
5.1命题的联结
5.2公式的构成
5.3命题的形式

第6章组合有意：公式的真假
6.1构造真值表
6.2公式的赋值
6.3等价的变形

第7章大法无机：能行的方法
7.1判定有效性
7.2解析树方法
7.3能行可判定

第8章一言九鼎：反解真值表
8.1骑士与无赖
8.2三思而后言
8.3反解真值表

第9章机关之算：逻辑代数化
9.1有逻辑的门
9.2线路图设计
9.3思维的代数

第10章解牛之术：一阶语言说
10.1简单本有形
10.2造化一阶语
10.3自由与约束

第11章触事而真：模型与满足
11.1初试真与假
11.2模型与指派
11.3满足与真假

第12章迷途知返：半可判定性
12.1再论有效性
12.2又用解析树
12.3半能行判定

第13章逻辑链条：证明的初感
13.1证明的规则
13.2联结词规则
13.3量词的规则

第14章应有尽有：完全性定理
14.1间接的证明
14.2证明的策略
14.3健全与完全

第15章求全责备：模型与理论
15.1.相等之符号
15.2模型的理论
15.3完备公理化

第16章神机妙算：图灵可计算
16.1图灵机模型
16.2可计算函数
16.3不可计算性

第17章数不胜数：公理化算术
17.1算术的语言
17.2皮亚诺公理
17.3完全的片段

第18章天外有天：哥德尔定理
18.1不可完全性
18.2一致性问题
18.3大是者大非
参考文献
索引
内容简介:
　　《逻辑:从三段论到不完全性定理》以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要成果。《逻辑:从三段论到不完全性定理》力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。
目录:
第1章推陈出新：逻辑的力量
1.1经验与理智
1.2推理有效性
1.3逻辑大事记

第2章难产归纳：确证的悖论
2.1亨佩尔悖论
2.2古德曼悖论
2.3归纳的穷途

第3章演绎初成：词项的推理
3.1主项与谓项
3.2量项与联项
3.3直接的推理

第4章逻辑典范：三段论理论
4.1三段论系统
4.2证明三段论
4.3公理化思想

第5章形式无情：命题与公式
5.1命题的联结
5.2公式的构成
5.3命题的形式

第6章组合有意：公式的真假
6.1构造真值表
6.2公式的赋值
6.3等价的变形

第7章大法无机：能行的方法
7.1判定有效性
7.2解析树方法
7.3能行可判定

第8章一言九鼎：反解真值表
8.1骑士与无赖
8.2三思而后言
8.3反解真值表

第9章机关之算：逻辑代数化
9.1有逻辑的门
9.2线路图设计
9.3思维的代数

第10章解牛之术：一阶语言说
10.1简单本有形
10.2造化一阶语
10.3自由与约束

第11章触事而真：模型与满足
11.1初试真与假
11.2模型与指派
11.3满足与真假

第12章迷途知返：半可判定性
12.1再论有效性
12.2又用解析树
12.3半能行判定

第13章逻辑链条：证明的初感
13.1证明的规则
13.2联结词规则
13.3量词的规则

第14章应有尽有：完全性定理
14.1间接的证明
14.2证明的策略
14.3健全与完全

第15章求全责备：模型与理论
15.1.相等之符号
15.2模型的理论
15.3完备公理化

第16章神机妙算：图灵可计算
16.1图灵机模型
16.2可计算函数
16.3不可计算性

第17章数不胜数：公理化算术
17.1算术的语言
17.2皮亚诺公理
17.3完全的片段

第18章天外有天：哥德尔定理
18.1不可完全性
18.2一致性问题
18.3大是者大非
参考文献
索引

查看详情

相关分类

哲学理论世界哲学中国哲学思维科学逻辑学(论理学) 伦理学(道德哲学) 美学心理学励志与成功

正版书籍逻辑从三段论到不完全性定理作者: 熊明著出版社: 科学出版社9787030477026

全新

珍奇的书店761

北京市东城区

平均发货48小时成功完成率65.83%

￥59.88

券

100减20

立即购买加入购物车
正版现货逻辑从三段论到不完全性定理作者: 熊明著出版社: 科学出版社9787030477026 9787030477026

全新

北京正品书店

北京市东城区

平均发货25小时成功完成率82.8%

￥59.90

券

100减20

立即购买加入购物车
【正版保证】逻辑从三段论到不完全性定理作者: 熊明著出版社: 科学出版社9787030477026 9787030477026

全新

静听松风

北京市大兴区

平均发货15小时成功完成率85.84%

￥60.00

券

100减20

立即购买加入购物车
逻辑从三段论到不完全性定理按需印刷正版

全新

品雅轩文斋

北京市通州区

平均发货37小时成功完成率76.85%

￥58.00

券

100减20

立即购买加入购物车
正版逻辑从三段论到不完全性定理作者: 熊明著出版社: 科学出版社9787030477026 9787030477026

全新

遇见书店BOOKS

北京市昌平区

平均发货30小时成功完成率78.6%

￥56.00

券

100减20

立即购买加入购物车
逻辑从三段论到不完全性定理按需印刷正版

全新

博文苑

北京市通州区

平均发货31小时成功完成率84.51%

￥58.00

券

100减20

立即购买加入购物车
逻辑从三段论到不完全性定理按需印刷

全新

藏典阁书店

北京市通州区

平均发货35小时成功完成率79.07%

￥58.00

券

100减20

立即购买加入购物车
逻辑从三段论到不完全性定理正版预售按需印刷

全新

启慧知远书店

北京市通州区

平均发货63小时成功完成率84.21%

￥58.00

券

100减20

立即购买加入购物车
逻辑从三段论到不完全性定理

九五品

木头人小雷

陕西省西安市

平均发货17小时成功完成率82.81%

￥68.00

券

100减20

立即购买加入购物车
逻辑从三段论到不完全性定理

九五品

复制归来堂的书店

安徽省蚌埠市

平均发货13小时成功完成率90.58%

￥199.00

券

100减20

立即购买加入购物车
{可开发票}逻辑从三段论到不完全性定理熊明著科学出版社

九品

书查查19249300

辽宁省营口市

平均发货40小时成功完成率23.81%

￥450.00

券

100减20

立即购买加入购物车
[按需印刷]逻辑/从三段论到不完全性定理 9787030477026

全新

井大书店

江西省吉安市

平均发货59小时成功完成率87.14%

￥58.72

券

100减20

立即购买加入购物车