- 作 者：史陶著；刘福增译述
- 出 版 社：水牛图书出版事业有限公司
- 出版年份：1970
- ISBN：
- 标注页数：238 页
- PDF页数：251 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源251 ≥238页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 集合与关系 1
1.1．康托的集合概念 2
1.2．直觉集合论的基础 4
1.3．包含 11
1.4．集合运算 14
1.5．集合代数 19
1.6．关系 28
1.7．等应关系 35
1.8．函应 40
1.9．合成函应与反函应 45
1.10．次序关系 51
第二章 逻辑 61
2.1．语句演算——语句连词 62
2.2．语句演算——真值表 66
2.3．语句演算——有效性 73
2.4．语句演算——有效归结 85
2.5．语句演算——应用 95
2.6．述语演算——日用语言的翻译 101
2.7．述词演算——一个塑造 110
2.8．述词演算——有效性 116
2.9．述词演算——有效归结 126
3.1．设基理论的概念 133
第三章 设基理论 133
3.2．非形式设基 138
3.3．在集合论系络内的非形式理论 144
3.4．非形式理论的其它特色 147
3.5．形式设基理论 157
3.6．当形式设基理论的语句演算 159
3.7．当形式设基理论的述词演算 165
3.8．一阶设基理论 168
3.9．後设数学 175
4.1．一布氏代数的定义 183
第四章 布氏代数 183
4 2．一布氏代数的若干基本性质 186
4.3．布氏代数理论的另一塑造 190
4 4．布氏代数的相合关系 196
4.5．布氏代数的表现 204
4.6．当布氏代数的语句演算 211
4.7．自由布氏代数 212
史陶著“集合论与逻辑”一书目录 217
英中名词对照 223
中英名词索引 231