当前位置:首页 > 数理化
数学逻辑与推理
数学逻辑与推理

数学逻辑与推理PDF电子书下载

数理化

  • 电子书积分:7 积分如何计算积分?
  • 作 者:(英)约翰逊(D.A.Johnson),(美)泰勒(D.F.Taylor)著;向延育译
  • 出 版 社:北京:科学出版社
  • 出版年份:1984
  • ISBN:13031·2503
  • 页数:96 页
图书介绍:
上一篇:实分析基础下一篇:热力学
《数学逻辑与推理》目录

一、思维和推理的作用 1

1.当我们思索时发生了什么? 1

2.语言和逻辑 4

3.真实、事实和错觉 6

二、归纳法 14

1.盖然推断 14

2.尝试法 16

三、演绎法 19

1.从假设到定理 19

2.演绎法的一个例子 27

四、数学关系的证明 29

1.合理就为真吗? 29

2.使用维恩图推理 30

3.真实和证明 37

4.表明各种可能的关系 39

5.逆命题 43

6.否命题 45

7.逆否命题 46

8.必要和充分条件 47

9.间接证明(反证法) 50

10.一个用间接证法的游戏 52

11.智力游戏和推理 53

五、数学的逻辑结构 58

1.逻辑结构的基础 58

2.不加定义的术语 60

3.定义 61

4.几何学的逻辑结构 62

5.算术和代数的逻辑结构 63

六、再谈逻辑 72

1.真值表 72

2.否命题 73

3.逻辑智力难题 81

4.用电子线路作逻辑推理 85

练习答案 89

相关图书
作者其它书籍
返回顶部