离散数学

初学离散数学

第一点：是什么

离散数学：

离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
[1]

#很难理解吧，我也觉得：
离散量：

离散量的概念在现代工业自动化控制中有着重要的意义。它把零散的信息根据逻辑关系有规律的整合起来，便于工业计算机计算，存储，处理和传输;有时也把无逻辑关系的开关量信息整合以便于通信传输。

就是相对于，模拟量（一个渐变的过程）的数字量，离散的数据。也就是我们最小的时候就知道的自然数。用几个值就可以来表示状态，如开关。

第二点：为什么

何为离散当今的计算机科学，仍是基于0与1的计算(仍未普及的量子计算机不列入其中)，他并不是用0.1、0.001、1/3…去纪录事情，也就是说，整个计算机科学，是一个整数(0,1,2,3…)的运算架构。而在整个数学体系当中，我们将它粗分为两大类，一为连续，一为不连续，连续是微积分处理的那一块，这里不谈，而不连续，指的就是离散数学所包括的部分，英文名称为discrete mathematics，所以它的"离散"并不是说它东一块、西一块，离离散散，而是指它是一个专门处理整数的数学，为我们的计算机科学打下了扎实的基础。离散数学当中，我们可以将它粗浅的分为2类，分别是算法与数据结构的基础知识，以及计算器设计。算法与数据结构的基础知识布尔代数基于0、1这两个整数，我们额外赋予它们一些性质与运算，此情况下所组成的系统我们成为布尔代数，这也就是我们在写程序时常常看到的boolean值。集合论接着我们继续往上发展，因为0、1两数的解释力有限，为了囊括跟表示世上更多的事情，我们引入了整数的概念，就是我们现在看到的0，1，2，3，-1，-2⋯⋯。但是，并不是每件事情都会用到所有的数字，为了对事情做出分类、运算，数学家们引进了集合论（交集、联集⋯），并对一些特别的分类进行命名，最有名的即为质数，而这造就了密码学的基础（RSA)。关系,图论能够区分事情之后，为了讨论事情与事情间的性质、转变与关联性，我们引入了"关系"及"函数"，在此基础之上，为了让这些关系拥有更多的运算性质与更好的可视性，于是就有了图论（graph)及树（tree)，而后更衍生出了许多著名的算法，像是最短距离算法、网络传输算法等等，也有对于算法效率的相关证明，像是排序算法的效率上限，此为运筹学的基础。排列组合区分完事情之后，数学家们回归了自己的老本行，着眼于数的计算，他们开始对到底有多少种可能的事情感兴趣，于是乎之后有了排列组合、生成函数，以及之后的计数算法（像坡里亚计数）。递归最后，为了讨论算法的效率、程序设计，而有了递归。计算器设计从古至今，如何去纪录事件一直是一重要的事情，早期人们的结绳记事，到了现在方便迅速的computer memory,数学家们功不可没，而状态机这一章，就是在描述计算器纪录事情的几种型态与方法。

很明显，离散数学就是将我们生活中的情况用数字描述出来，在给计算机让其运算。
所以了解这本书的结构很重要

第三点：怎么做

按学习方法阅读