计算机科学中的数学（0）---先行说明

本书是 https://item.jd.com/12584970.html 的解释说明 大家都是学计算机的，多支持正版，在计算机行业工资面前，买书还是很廉价的。
虽然书很厚，内容很多，楼主尽自己最大可能讲清楚，并坚持持续更新（具体时间不确定）。不会放弃，一直更新结束。时间周期可能会很长，给自己一个小期限吧 立个flag现在是20200204 限制到20210801。武汉加油！
（好像大多数都是照原书copy的！！！）

第一部分 数学证明

第一部分共八章

引言

        本书阐释了如何利用数学模型与方法来分析计算机科学领域的问题。
        其中，数学证明（proof）发挥着核心作用，作者以及大多数数学家相信，真正意义的理解，其本质就是数学证明。
        简单的说，证明就是构建真理的方法。每个领域构建的真理不尽相同。例如，物理学或生物学领域，科学的真理是经过实验验证的。在统计学领域，可能的真理是通过对样本数据进行统计分析而建立起来的。
        数学上，对“证明”有着独特的概念解释。
        定义，命题的数学证明是指基于一系列公理，经过一连串的逻辑推理，最后得出这个命题。
        这个定义强调了三个关键点：命题(proposition)、逻辑推理（logical deduction）和公理（axiom）。
        第一章讨论了这三点，以及基本的证明方法。
        第二章介绍了一种基本的证明方法，即良序原理（well ordering principle）。
        第三章介绍了要想证明一个命题，应该准确地理解这个命题的含义。为了避免日常语言定义带来的歧义和不确定性，数学家用词十分精确，通常使用逻辑公式来表述命题，
        前三章假设读者对一些数学概念比较熟悉，比如集合、函数等。
        第四章和第八章更详细地探讨数学数据类型，着重介绍了无限集证明的属性和方法。
        第五章介绍了归纳法（induction）相关的证明方法。
        第七章继续讨论递归型（recursively defined）数据类型。