087day（计算工具发展学习，推理的组成及其评价）

172210704111-陈国佳总结《2018年1月5日》【连续087天】

标题：计算工具发展学习，推理的组成及其评价，

内容：

A.推理分为演绎推理和归纳推理：

1）演绎推理：一种必然性推理，当前提为真时，结论必然为真；

演绎推理有有效和无效的区分，当前提都为真时，结论必然为真时，推理有效，反之，无效；

注意：演绎推理的有效和无效与结论的真假无必然联系，

只要前提为真时，结论必为真，推理就是有效的，但如果前提实际上不成立，结论是假的，推理仍然是有效的；

2）归纳推理：一种或然性推理，当前提为真时，结论可能为真；

归纳推理有强弱的区分，（如果前提为真时，结论必为真，即是必然性推理时，我们称之为完全归纳）

弱：今天太阳从东方升起，则明天太阳从东方升起；

强：至今为止，太阳从东方升起，则明天太阳从东方升起；

注：逻辑学中的推理一般用人工语言，如PAB，P->B；

B.计算工具发展：

1）算筹（横纵相加），算珠，纳皮尔筹，计算尺（对数的应用，两数乘积的对数等于两数对数的和），机械计算机（与机械表原理相似，低位齿轮转动带动高位齿轮），电子计算器（集成电路的应用）；

2）计算机自动化：

机械式计算机：Pascal（AD1642,也是一门编程语言）的加法器，巴贝奇的差分机和分析机（提出概念），Hollerith制造制表机（制表系统）并建立制表机器公司（IBM前身）。

机电式计算机：继电器计算机（Mark-1）。

3）电子计算机：

理论依据：二进制，数理逻辑，布尔代数，计算模型，图灵机；

二进制：便于计算和存储；

电子计算机中采用补码，使得二进制减法可用加法表示，经简化后，电子计算机中只有二进制的加法计算；

数理逻辑：通过人工语言，实现计算机的自动化；

第一台通用电子计算机：ENIAC（1946,2,15）；

计算机时代的标志：1951年6月14日，通用自动计算机UNIVAC的诞生（军用转民用）；

CO-LOSSUS（巨人）（1943）：采用了图灵的某些概念；

ABC（1939）；

4）电子管->晶体管->集成电路->大和超大规模集成电路；

CPU:1970~2006，集成度增加；06~..多核（并行思路）；

继承电路的限制：高密度电子互连的障碍，电路引线的时钟扭曲（clock skew）;

未来趋势：半导体，量子，DNA；

明日计划：学习；