- 作 者：郑君文，张恩华著
- 出 版 社：合肥：安徽教育出版社
- 出版年份：1995
- ISBN：7533616928
- 标注页数：420 页
- PDF页数：429 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源429 ≥420页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 绪论 1
§1．数学与逻辑 1
§2．数学教育与逻辑 13
§3．数学逻辑学的对象和内容 17
§4．数学中的符号体系 19
第二章 命题逻辑的基本知识 23
§1．命题和命题变元 23
§2．真值联结词和真值函数 26
§3．命题公式与重言式 31
§4．对偶式与范式 40
§5．联结词的完备集 45
§6．推理形式和有效性 48
第三章 命题逻辑基本知识在数学教育中的运用 57
§1．数学命题 57
§2．由逻辑等价式导出的若干证法 64
§3．由重言蕴涵式导出的若干证法 75
§4．思维发展中的“四变换群”和“格” 83
第四章 命题逻辑的公理系统 87
§1．形式系统的意义 87
§2．命题逻辑公理系统（PM系统） 89
§3．基本置换定理 97
§4．演绎定理 104
§5．PM系统的相容性、完备性和独立性 109
§6．命题逻辑的其它公理系统 115
§7．公理化、形式化与数学教育 117
第五章 简单命题的分解与概念 121
§1．简单命题的分解 121
§2．概念概述 124
§3．概念的内涵和外延 127
§4．概念间的关系 128
§5．概念的定义 133
§6．概念的划分与概念系统 140
第六章 谓词逻辑的基本知识 148
§1．谓词和函词 148
§2．量词 151
§3．谓词公式 159
§4．谓词逻辑的等价式 169
§5．前束范式 176
§6．谓词逻辑的推理形式和推理规则 179
§1．逻辑在集合及其运算中的应用 190
第七章 谓词逻辑基本知识在数学教育中的运用 190
§2．数学语言的逻辑分析 200
§3．逻辑函数观点下的方程和不等式 212
§4．数学证明及反驳 224
第八章 谓词逻辑的公理系统 246
§1．谓词逻辑公理系统（Q—PM系统） 246
§2．演绎定理 255
§3．基本置换定理 260
§4．Q—PM系统的相容性、完备性和独立性 265
§5．带等词的谓词逻辑公理系统 270
§6．谓词逻辑的其它公理系统 274
附：自然推理系统 283
第九章 形式数学系统 283
§1．自然数的皮亚诺公理系统 283
§2．群 286
§3．环与域 290
§4．实数的公理系统 295
第十章 公理集合论简介 298
§1．第三次数学危机 298
§2．集合论的公理系统 301
§3．集合代数 306
§4．关系与函数 315
§5．自然数 323
§6．序数与基数 325
§7．整数、有理数与实数 332
§8．连续统假设 340
第十一章 数学基础的诸流派 348
§1．实无穷与潜无穷 348
§2．逻辑主义 352
§3．直觉主义 355
§4．形式主义 357
第十二章 归纳逻辑 360
§1．归纳推理 360
§2．类比推理 373
§3．合情推理 385
§4．概率逻辑 398
§5．数学发现的逻辑 410
参考文献 414
人名索引 417