图式逻辑
刘新文著, 刘新文, 1972-
1 (p1): 前言
1 (p2): 第1章 逻辑图：从古典到形式化
1 (p2-1): 1.1古典形式：欧拉图和文恩图
5 (p2-2): 1.2里程碑：皮尔士-文恩图和皮尔士存在图
11 (p2-3): 1.3图式逻辑：概念的提出
15 (p3): 第2章 欧拉图
15 (p3-1): 2.1概述
26 (p3-2): 2.2欧拉图理论
38 (p3-3): 2.3可判定性和内插性
43 (p3-4): 2.4一个扩张：状态图
52 (p4): 第3章 文恩图
52 (p4-1): 3.1概述
56 (p4-2): 3.2皮尔士的批评
58 (p4-3): 3.3皮尔士-文恩图
75 (p4-4): 3.4图形的数量方面
79 (p4-5): 3.5文恩图理论
99 (p4-6): 3.6可判定性、内插性和可定义性
102 (p4-7): 3.7欧拉图和文恩图：余论
107 (p5): 第4章 图形的表达能力
107 (p5-1): 4.1文恩图及其扩展
118 (p5-2): 4.2欧拉-文恩图理论
124 (p5-3): 4.3图—式理论
137 (p6): 第5章 皮尔士图
137 (p6-1): 5.1概述
154 (p6-2): 5.2判定问题
161 (p6-3): 5.3形式理论
172 (p7): 附录 符号逻辑（查尔斯·S.皮尔士）
180 (p8): 参考文献
194 (p9): 索引 本书考察的对象是历史上著名的逻辑图及其逻辑理论.第1章考察逻辑图从古典形式走向形式化的发展历程
1 (p2): 第1章 逻辑图：从古典到形式化
1 (p2-1): 1.1古典形式：欧拉图和文恩图
5 (p2-2): 1.2里程碑：皮尔士-文恩图和皮尔士存在图
11 (p2-3): 1.3图式逻辑：概念的提出
15 (p3): 第2章 欧拉图
15 (p3-1): 2.1概述
26 (p3-2): 2.2欧拉图理论
38 (p3-3): 2.3可判定性和内插性
43 (p3-4): 2.4一个扩张：状态图
52 (p4): 第3章 文恩图
52 (p4-1): 3.1概述
56 (p4-2): 3.2皮尔士的批评
58 (p4-3): 3.3皮尔士-文恩图
75 (p4-4): 3.4图形的数量方面
79 (p4-5): 3.5文恩图理论
99 (p4-6): 3.6可判定性、内插性和可定义性
102 (p4-7): 3.7欧拉图和文恩图：余论
107 (p5): 第4章 图形的表达能力
107 (p5-1): 4.1文恩图及其扩展
118 (p5-2): 4.2欧拉-文恩图理论
124 (p5-3): 4.3图—式理论
137 (p6): 第5章 皮尔士图
137 (p6-1): 5.1概述
154 (p6-2): 5.2判定问题
161 (p6-3): 5.3形式理论
172 (p7): 附录 符号逻辑（查尔斯·S.皮尔士）
180 (p8): 参考文献
194 (p9): 索引 本书考察的对象是历史上著名的逻辑图及其逻辑理论.第1章考察逻辑图从古典形式走向形式化的发展历程
Год:
2012
Издание:
2012
Издательство:
北京：中国社会科学出版社
Язык:
Chinese
ISBN 10:
7516113794
ISBN 13:
9787516113790
Файл:
PDF, 13.86 MB
IPFS:
,
Chinese, 2012
Amazon 
Barnes & Noble 
Bookshop.org
Хотите добавить книжный магазин? Свяжитесь с нами по support@z-lib.do
Конвертируйте файлы
Больше результатов поиска
Другие преимущества 
![上海市人民沪剧团集体创作文牧执笔 — [沪剧] 芦荡火种](https://s3proxy.cdn-zlib.se/covers200/collections/chinese/3d210f15c8e235b5b4903d3cf1682a84ac2279562b79616b0e612e567c72b3d2.jpg)
