离散数学蕴含的意义

离散数学是研究散量的结构及其相互关系的数学学科，是现代数学的重要分支，通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为以后续课创造条件而且可以提高抽象思维和逻辑推理能力，为将来参加与创新性的研究和开发工作打下坚实基础。离散从字面上理解好像是一门很散的学科，但觉得离散字面散而其内神不散。

在中学学习了一些简单逻辑，那些都是一些与生活有关或是学习中一些常识就可判断命题真假的命题。这些简单逻辑对学生的思维逻辑推理能力有一定的训练作用，但中学中的简单逻辑没有严格的证明和公式的推导。一些问题都是凭借日常生活经验或学习中的一些常识就能把命题的正确性作出判断。数理逻辑是以散量为主要载体，通过一系列逻辑连接词来演绎命题并用一定公式判断命题的正确性。数理逻辑对公式有严格的证明，并把命题符号化，使得推理更有序，更可靠。数理逻辑是简单逻辑的提高和精神的升华。数理逻辑提出简单逻辑并未有的散量及一系列公式。数理逻辑为解决简单逻辑的解法提出多样化，为简单逻辑提供更严谨有效的解题途径。

数理逻辑是数学的一个分支，也是逻辑学的分支。是用数学方法研究逻辑式形式逻辑的学科。其研究对象是对证明和计算这两个直观慨念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑是离散数学的主要组成部分，也是现代科学理论的重要组成部分。现代的电子计算机大多是以散量为基数以数理逻辑的方法而运行的，数理逻辑对计算机技术的发展起到举足轻重的作用，不仅如此，在日常生活中人们学习数理逻辑会对人们在生活中分析一些事物形成独特见解。数理逻辑可以提高抽象思维和逻辑推理能力，为将来参与创新性的研究和开发工作打下结实基础。

一阶逻辑等值演算与推理，是数理逻辑的重要组成部分，在一阶逻辑中引入了个体词、谓词和量词的一阶逻辑命题符号化的三个基本要素。这在数理逻辑前几章的学习中都是未提到的，然而有了这些基本要素就把数理逻辑所研究的内容加以拓宽，思维的要求也有所提高。一些逻辑等值演算与推理也大大的增加了数理逻辑的推理方式，为数理逻辑在科学理论中的应用添上了浓墨重彩的一笔。对于一阶逻辑等值演算是数理逻辑前几章的延伸，也是前几章的提高。一阶逻辑为以后续课打下了各方面的条件，使得数理逻辑更加完美。

图论是以图为基本元素，而图的定义是：人们常用点表示事物，用点与点之间是否有某种关系，这样构成的图形就是图论中的图。从这种定义可把数理逻辑的每一个章节的推理公式分为不同的点，而每一章就相当于图论中的图。数理逻辑的各章间的关系就是图与图之间的关系，形成图论的基本要素。从点与点的紧密联系，图与图之间的各项关系，可以看出离散数学是一门严谨的学科，虽然离散字面散而其内神不散。

离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。

离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。