离散教学

离散数学简介

离散数学是现代数学的一个重要分支，也是计算机科学与技术的理论基础。离散数学是计算机专业课程的基础，是数据结构、编译原理、程序设计语言、数据库原理、操作系统、人工智能、算法分析与设计等课程必不可少的前行课程。通过对离散数学的学习，不仅使学生掌握进一步学习其他课程所必需的离散量的结构及其相互关系的数学知识，同时还培养了学生的抽象思维能力和严密的逻辑推理能力，另外还增强了学生使用学过的离散数学知识进行分析和解决问题的能力。

离散数学包括数理逻辑、集合论、代数结构、图论、形式语言、自动机和计算几何等。本课程主要介绍其中的数理逻辑和集合论部分。 ??

数理逻辑是研究推理逻辑规则的一个数学分支，它采用数学符号化的方法，给出推理规则来建立推理体系。进而讨论推理体系的一致性、可靠性和完备（全）性等。数理逻辑的研究内容是两个演算加四论，具体为命题演算、谓词演算、集合论、模型论、递归论和证明论。数理逻辑是形式逻辑与数学相结合的产物。但数理逻辑研究的是各学科（包括数学）共同遵从的一般性的逻辑规律，而各门学科只研究自身的具体规律。 ??

集合论可看作数理逻辑的一个分支，也是现代数学的一个独立分支，它是各个数学分支的共同语言和基础。集合论是关于无穷集和超穷集的数学理论。古代数学家就已接触到无穷概念，但对无穷的本质缺乏认识。为微积分寻求严密的基础促使实数集结构的研究，早期的工作都与数集或函数集相关联。集合论已在计算机科学、人工智能学科、逻辑学、经济学、语言学和心理学等方面起着重要的应用。

推荐学习地址：http://202.198.16.51/servlet/javabbs.login?tag=login&username=liuxian&password=123456

数理逻辑是研究推理逻辑规则的一个数学分支，它采用数学符号化的方法，给出推理规则来建立推理体系。进而讨论推理