黄博士网: 在线数学手册计算器软件,电化学虚拟实验室,虚拟电化学工作站,电化学软件 首页 | 目录 | 世界 | 学科 | 理科 | 数学 | 物理 | 化学 | 计算机 | 医学 | 书单 | 索引 | 帮助

离散数学

二级学科, 专业名称:离散数学,   门类/类别:理学     学科/类别:数学

离散数学(英语:Discrete mathematics)是数学的几个分支的总称,研究基于离散空间而不是连续的数学结构。与连续变化的实数不同,离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是连续变化的,而是拥有不等、分立的值。 因此离散数学不包含微积分和分析等“连续数学”的内容。离散对象经常可以用整数来枚举。更一般地,离散数学被视为处理可数集合(与整数子集基数相同的集合,包括有理数集但不包括实数集)的数学分支。但是,“离散数学”不存在准确且普遍认可的定义。 实际上,离散数学经常被定义为不包含连续变化量及相关概念的数学,甚少被定义为包含什么内容的数学。

离散数学中的对象集合可以是有限或者是无限的。有限数学一词通常指代离散数学处理有限集合的那些部分,特别是在与商业相关的领域。

随着计算机科学的飞速发展,离散数学的重要性则日益彰显。它为许多信息学课程提供了数学基础,包括数据结构、算法、数据库理论、形式语言与操作系统等。如果没有离散数学的相关数学基础,学生在学习上述课程中,便会遇到较多的困难。此外, 离散数学也包含了解决作业研究、化学、工程学、生物学等众多领域的数学背景。由于运算对象是离散的,所以计算机科学的数学基础基本上也是离散的。我们可以说计算机科学的数学语言就是离散数学。人们会使用离散数学里面的槪念和表示方法, 来研究和描述计算机科学下所有分支的对象和问题,如计算机运算、编程语言、密码学、自动定理证明和软件开发等。相反地,计算机的应用使离散数学的概念得以应用于日常生活当中(如运筹学)。

虽然离散数学的主要研究对象是离散对象,但是连续数学的分析方法往往也可以采用。数论就是离散和连续数学的交叉学科。同样的,有限拓扑(对有限拓扑空间的研究)从字面上可看作离散化和拓扑的交集。

三级学科

分支

数理逻辑

逻辑是对有效推理和推理原则,及其连续性、合理性和完整性的研究。举一个简单的例子:在大多数逻辑系统中,皮尔士定律(((P→Q)→P)→P)是正确的,而且可以简易地利用真值表得到证明。数学证明在数理逻辑中十分重要,而且在自动定理证明和软件开发(如形式验证)有广泛应用。

集合论

集合论是研究集合的数学分支。集合是指一定对象的总和,例如:{蓝色,白色,红色}是一个有限集合;所有素数组成一个无限集合。 偏序关系和拥有其他关系特征的集合在多个数学领域都有应用。

信息论

素数螺旋图,黑点为素数。 信息论涉及信息量化。与此密切相关的编码理论则用来设计高效可靠的数据传输和数据储存方法。

数论

数论关注普通数字,特别是整数的特性。数论在密码学和密码分析中有应用,特别是关于素数和素性测试方面。在解析数论中,也使用连续数学的理论。

组合数学

代数图论与群论有着紧密联系。此截角四面体图与交错群A4有关。 组合数学研究对象进行排列或组合的途径,包含组合设计(Combinatorial design)、计数组合(enumerative combinatorics)、计数、组合几何(combinatorial geometry)、组合拓扑(Combinatorial topology)等主题。图论是组合数学的重要部分,有很多实际应用。

在组合分析(analytic combinatorics)和代数图论(algebraic graph theory)中也使用连续数学的理论,而且代数图论还与群论有着紧密联系。

图论

图论是研究图和网络(英语:network theory)的数学分支,常被认为包含于组合数学中,但这一分支已经发展得足够庞大和有特点,并有自身领域所研究的问题,因此被视为一个独立的主题,在数学和科学的所有领域都有广泛的应用。例如:有名的七桥问题。[7]

抽象代数

代数结构既可以是离散的,也可以是连续的。离散代数包括逻辑门和编程中使用的逻辑代数、数据库中使用的关系代数、代数编码理论中重要的离散有限群、环和域、形式语言理论中的离散半群和幺半群。

理论计算机科学

复杂度研究程序耗费的时间,例如这个快速排序程序。 离散数学充分描述了计算机科学离散性的特点。

理论计算机科学(Theoretical computer science)包含离散数学计算的领域,并特别注重图论和数理逻辑。理论计算机科学包括对计算数学结果的算法研究。可算性理论研究那些对象在原则上可被计算,和逻辑有密切联系。而复杂性则研究计算耗费的时间,自动机理论和形式语言理论与复杂性紧密联系。计算几何应用算法解决几何问题,而计算机图像分析则是应用算法在计算机中再现图像。

拓扑学

虽然拓扑学是形式化和一般化物体“连续形变”的直觉概念的研究领域,其也包含很多离散主题,如拓扑变换时常取离散值,组合拓扑、拓扑图论、拓扑组合、计算拓扑、离散空间、有限拓扑空间等领域。

运筹学

像这样的PERT图提供了一个基于图论的商业管理技术。 运筹学的研究为解决一些商业上和其他范筹上实质的问题提供了方法。这些问题包括如何分配资源以使利润增至最高和如何为企划调度使风险减至最低等。运筹学的研究方向包括线性规划、最优化、等候理论、调度理论、网络理论,和一些正在增加的其他方面。运筹学的内容也会涉及一些连续主题,如连续时间马尔可夫过程、连续时间鞅、过程优化(英语:process optimization)以及连续混合控制理论。

博弈论、决策论、效用理论、社会选择理论.

博弈论用于处理的问题比较复杂,通常这些选择成功与否取决于其他人的选择,因此如何作最好出一个最好的选择比较复杂。连续对策甚至也是存在的,如微分博弈。博弈论的主题包括拍卖理论和公平分配博弈。

决策论是有关判定特定决策的价值、不确定性、合理性以及最终能够确定的最优决策的理论。

效用理论的研究内容是由各种商品和服务评估相对经济满足程度,或是评估各种商品和服务的希求程度。

社会选择理论是关于投票的理论。更近似于谜题的有关投票的问题是抽签问题(Bertrand's ballot theorem)。

离散化

离散化关注将连续模型或等式转化为离散形式的过程,通常是基于简化计算的目的。数值分析是离散化一个重要实例。 计算几何将计算机算法应用于几何物体的描绘.

连续数学的离散近似, 很多的连续数学概念都有离散数学的版本,例如:
◾离散微积分
◾离散概率分布
◾离散傅里叶变换
◾离散几何
◾离散对数
◾离散微分几何
◾离散外微分
◾离散莫尔斯理论
◾差分方程
◾离散动力系统。

在应用数学中,离散模型是连续模型的离散近似。在离散模型中,离散方程由数据确定。使用递推关系是这种建模方式的一般方法。

离散和连续混合数学

时标微积分是差分方程理论与微分方程理论的统一,应用在需要创建离散和连续同步数据模型的领域。

书单

  • 数学分析讲义
  • 高等数学讲义

    数学家

    数学名词

    数学索引

    论坛

    
    参阅
    1. 数学 - 数学符号 - 数学索引
    2. 手册 = 中学数学手册 + 数学手册 + 实用数学手册
    3. 初等数学 = 中学数学 = 初中数学 + 高中数学
    4. 高等数学 = 基础数学 ( 代数 + 几何 + 分析 ) + 应用数学
    5. 公式 - 图表 - 动画 - 立体图
    6. 书单 = 数学 + 物理 + 化学 + 计算机 + 医学 + 英语 - QQ群 614057790 下截书
    7. 数学软件 - 数学手册计算器 = 数学 + 手册 + 计算器
    8. 例题:
    
    首页 | 目录 | 论坛 | 联系 | 版权 | 书单 | 关于 | 索引 | 帮助 | English