u014302249的专栏

1.书中原话 什么是离散数学？离散数学是数学中研究离散对象的部分。（这里“离散”的含义是“由不同的或不相连的元素组成”。）离散数学解决的问题包括： 在计算机中，有多少种方式选择一种合适的口令？ 赢得彩票的概率是多少？ 两台计算机之间在网络上是否有通路？ 怎样鉴别E-mail 信息中的垃圾邮件？ 怎样加密信息以免不该收到该信的人读取信息？ 在某一个交通系统中，两

前言 逻辑规则给出数学语句的准确含义。 逻辑是所有数学推理及所有自动推理的基础。 为了理解数学，我们必须理解正确的数学论证（即证明）是由什么组成的。 只要证明一个数学语句是真，我们就称之为一个定理。 围绕一个论题的定理的集合就将我们对这个论题的认知组织起来。 为了学习一个数学论题，我们需要积极的构造关于此论题的数学论证，而不仅仅是阅读说明。 因为一个定理的证明