1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 高等教育
  5. 微积分

离散数学 课件 第1章命题逻辑.pptx

离散数学 课件 第1章命题逻辑.pptx

    离散数学;1数理逻辑

    命题逻辑

    一阶逻辑

    2集合论

    3二元关系

    4图论

    ;离散数学的起源与发展脉络;319世纪：关键突破

    ?布尔代数：乔治。布尔(GeorgeBoole)在《逻辑的数学分析》(1847)中建立布尔代数，将逻辑转化为代数运算。

    ?集合论：康托尔(Cantor)在1870年代创立集合论，为离散结构提供了统一语言。

    ?图论成形：柯尼斯堡问题后，图论在凯莱(Cayley)等人的工作中应用于化学和树结构研究。

    420世纪：系统化与计算机推动

    ?数理逻辑：弗雷格(Frege)，罗素(Russell)和希尔伯特(Hilbert

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >