包括数理逻辑近世代数古典概率组合.pptVIP

离散数学是计算机学科的重要数学基础课之一 离散数学是以离散(即非连续)对象的数量和空间关系为研究内容的数学若干个分支的总称。 包括数理逻辑、近世代数、古典概率、组合学、图论、集合论、数论、自动机和形式语言、可计算性和可判定性、离散几何等。 18世纪以前, 数学基本上是研究离散对象的数量和空间关系的科学, 之后,因天文学,物理学的发展,如行星轨道,牛顿三大力学定律等研究,极大地推动了连续数学(以微积分,数学物理方程, 实、复变函数论为代表)的发展。 离散对象的研究则处于停滞状态 20世纪30年代, 图灵提出计算机的理论模型——图灵机。 这种模型早于实际制造计算机十多年, 现实的计算机的计算能力, 本质上和图灵机的计算能力一样。 这是理论指导实际的典型范例。 由于在计算机内,机器字长总是有限的, 它代表离散的数或其它离散对象。 因此随着计算机科学和技术的迅猛发展,离散数学就显得重要。 离散数学是学习数据结构与算法、数据库、编译原理、算法设计与分析、计算机网络等课程的主要基础 对开发大型软件、研究信息安全和密码学、开展计算机理论研究以及开发新型计算机都提供了不可缺少的基础知识。 本课程是离散数学的一部分,包括： 集合论 组合学 图论 Ⅰ集合论初步 集合论是现代数学的基础,它已深入到各种科学和技术领域中,被广泛应用到数学和计算机科学的各分支中去。在开关理论、形式语言、数据库等领域得到了卓