文档介绍：离散——神不散姓名:王文军班级:数学与应用数学(2)班学号:092014020049摘要:离散数学是研究散量的结构及其相互关系的数学学科,是现代数学的重要分支,通过离散数学的学****不但可以掌握处理离散结构的描述工具和方法,为以后续课创造条件而且可以提高抽象思维和逻辑推理能力,为将来参加与创新性的研究和开发工作打下坚实基础。离散从字面上理解好像是一门很散的学科,但我觉得离散字面散而其内神不散。正文:在中学我们学****了一些简单逻辑,那些都是一些与生活有关或是学****中一些常识就可判断命题真假的命题。这些简单逻辑对学生的思维逻辑推理能力有一定的训练作用,但中学中的简单逻辑没有严格的证明和公式的推导。一些问题都是凭借日常生活经验或学****中的一些常识就能把命题的正确性作出判断。数理逻辑是以散量为主要载体,通过一系列逻辑连接词来演绎命题并用一定公式判断命题的正确性。数理逻辑对公式有严格的证明,并把命题符号化,使得推理更有序,更可靠。数理逻辑是简单逻辑的提高和精神的升华。数理逻辑提出简单逻辑并未有的散量及一系列公式。数理逻辑为解决简单逻辑的解法提出多样化,为简单逻辑提供更严谨有效的解题途径。数理逻辑是数学的一个分支,也是逻辑学的分支。是用数学方法研究逻辑式形式逻辑的学科。其研究对象是对证明和计算这两个直观慨念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑是离散数学的主要组成部分,也是现代科学理论的重要组成部分。现代的电子计算机大多是以散量为基数以数理逻辑的方法而运行的,数理逻辑对计算机技术的发展起到举足轻重的作用,不仅如此,在日常生活中人们学****数理逻辑会对人们在生活中分析一些事物形成独特见解。数理逻辑可以提高抽象思维和逻辑推理能力,为将来参与创新性的研究和开发工作打下结实基础。一阶逻辑等值演算与推理,是数理逻辑的重要组成部分,在一阶逻辑中引入了个体词、谓词和量词的一阶逻辑命题符号化的三个基本要素。这在数理逻辑前几章的学****中都是未提到的,然而有了这些基本要素就