图式逻辑

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源205 ≥196页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

前言 1

第1章逻辑图：从古典到形式化 1

1.1古典形式：欧拉图和文恩图 1

1.2里程碑：皮尔士-文恩图和皮尔士存在图 5

1.3图式逻辑：概念的提出 11

第2章欧拉图 15

2.1概述 15

2.2欧拉图理论 26

2.3可判定性和内插性 38

2.4一个扩张：状态图 43

第3章文恩图 52

3.1概述 52

3.2皮尔士的批评 56

3.3皮尔士-文恩图 58

3.4图形的数量方面 75

3.5文恩图理论 79

3.6可判定性、内插性和可定义性 99

3.7欧拉图和文恩图：余论 102

第4章图形的表达能力 107

4.1文恩图及其扩展 107

4.2欧拉-文恩图理论 118

4.3图—式理论 124

第5章皮尔士图 137

5.1概述 137

5.2判定问题 154

5.3形式理论 161

附录符号逻辑（查尔斯·S.皮尔士） 172

参考文献 180

索引 194