数理逻辑初步

文档类型

价格(积分)

购买连接

试读

PDF格式

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

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

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

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

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

第一章数理逻辑的由来 1

1 传统逻辑的不足 2

2 数理逻辑的兴起 9

1 数理逻辑在电子数字计算机方面的应用 15

3 非欧几何带来的问题 20

4 微积分基础的争论 27

5 集合论悖论 31

第二章数理逻辑的主要内容 36

1 公理集合论与证明论 36

2 能行性理论与模型论 41

3 命题演算 49

4 谓词演算 56

5 有关传统逻辑与模态逻辑 65

6 蕴涵词及其怪论 72

第三章关于数理逻辑的三大派 78

1 逻辑主义派 79

2 直觉主义派 95

3 形式主义派 102

第四章数理逻辑中一些基本概念 112

1 记号与符号 112

2 变元 125

3 函数与约束词 139

第五章数理逻辑的应用 150

2 亚里士多德逻辑与传统逻辑 157

3 《小取篇》逻辑的体系 162

附录常用数理逻辑符号表 172