- 在线播放
- 分集下载
- 01_第01讲集合
- 02_第02讲集合的运算与分类
- 03_第03讲计数问题_排列组合
- 04_第04讲计数问题_容斥原理与鸽笼原理
- 05_第05讲命题逻辑_命题与命题联结词
- 06_第06讲命题逻辑_命题翻译与联结词
- 07_第07讲命题逻辑_命题公式_解释与真值表
- 08_第08讲命题逻辑_基本等价公式及其应用
- 09_第09讲命题逻辑_命题公式的应用与联结词的完备集
- 10_第10讲命题逻辑_范式
- 11_第11讲命题逻辑_极小项与极大项
- 12_第12讲命题逻辑_主范式
- 14_第14讲谓词逻辑_谓词翻译
- 15_第15讲谓词逻辑_谓词合式公式
- 16_第16讲谓词逻辑_谓词合式公式的解释与基本等价关系
- 17_第17讲推理与证明技术_逻辑蕴涵
- 18_第18讲推理与证明技术_演绎法
- 19_第19讲推理与证明技术_谓词逻辑的推理
- 20_第20讲推理与证明技术_谓词演算的综合推理方法
- 21_第21讲二元关系_关系的定义
- 22_第22讲二元关系_关系的表示法
- 23_第23讲二元关系_关系的复合运算
- 24_第24讲二元关系_关系的逆运算
- 25_第25讲二元关系_关系的性质1
- 26_第26讲二元关系_关系的性质2
- 27_第27讲特殊关系_等价关系1
- 28_第28讲特殊关系_等价关系2
- 29_第29讲特殊关系_偏序关系1
- 30_第30讲特殊关系_偏序关系2
- 31_第31讲函数_函数的定义与分类
- 32_第32讲函数_函数的性质与运算
- 33_第33讲图_图及图的表示与操作
- 34_第34讲图_图分类及子图与补图
- 35_第35讲图_握手定理与同构
- 36_第36讲图_通路与回路
- 37_第37讲图_连通图
- 38_第38讲图_有向连通图
- 39_第39讲树_无向树
- 40_第40讲树_最小生成树与根树
- 41_第41讲特殊图_欧拉图
- 42_第42讲特殊图_哈密顿图
- 43_第43讲特殊图_偶图
- 44_第44讲特殊图_平面图11
- 45_第44讲特殊图_平面图
- 46_第45讲代数系统_代数系统与运算律
- 47_第46讲代数系统_特殊元
- 48_第47讲代数系统_同态与同构
- 49_第48讲群_半群与含幺半群
- 50_第49讲群_群与元素的周期
- 51_第50讲群_子群
- 52_第51讲群_子群与群同态
- 53_第52讲群_特殊群
- 54_第53讲群_陪集与拉格朗日定理
- 55_第54讲群_拉格朗日定理与正规子群
- 56_第55讲格与布尔代数_格的基本概念
- 57_第56讲格与布尔代数_格与子格
- 58_第57讲格与布尔代数_格同态与分配格
- 59_第58讲格与布尔代数_特殊格
- 60_第59讲格与布尔代数_有补分配格
- 61_第60讲格与布尔代数_布尔代数
离散数学的相关介绍
随着信息时代的到来,离散数学的重要性逐渐被人们认识。离散数学课程所传授的思想和方法,广泛地体现在计算机科学技术及相关专业的诸领域。在当今计算机飞速发展的时代学好离散数学知识是非常必要的。
离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系, 因此,无论计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。
离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。
离散数学课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方法。这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中;同时,该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高,十分有益于学生严谨、完整、规范的科学态度的培养。
离散数学课程的教学目的,不但作为计算机科学与技术及相关专业的理论基础及核心主干课,对后续课程提供必需的理论支持。更重要的是旨在“通过加强数学推理,组合分析,离散结构,算法构思与设计,构建模型等方面专门与反复的研究、训练及应用,培养提高学生的数学思维能力和对实际问题的求解能力。”离散数学通常研究的领域包括:数理逻辑、集合论、代数结构、关系论、函数论、图论、组合学、数论等。它是高校计算机及相关专业的重要基础课程之一。
数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。
基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始,其发展便持续不断地有小幅度的进展,直至16世纪的文艺复兴时期,因着和新科学发现相作用而生成的数学革新导致了知识的加速,直至今日。
今日,数学被使用在世界不同的领域上,包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学,有时亦会激起新的数学发现,并导致全新学科的发展。数学家也研究纯数学,也就是数学本身,而不以任何实际应用为目标。虽然许多以纯数学开始的研究,但之后会发现许多应用。
创立于二十世纪三十年代的法国的布尔巴基学派认为:数学,至少纯数学,是研究抽象结构的理论。结构,就是以初始概念和公理出发的演绎系统。布学派认为,有三种基本的抽象结构:代数结构(群,环,域……),序结构(偏序,全序……),拓扑结构(邻域,极限,连通性,维数……)。
使用教材
主教材 离散数学及其应用 ISBN: 978-7-04-021689-9 主编: 傅彦 顾小丰 王庆先 刘启和 高等教育出版社
辅助教材 离散数学实验与习题解析 ISBN: 978-7-04-022469-6 主编: 傅彦 王丽杰 尚明生 顾小丰 高等教育出版社