原创力文档离散数学;1数理逻辑
命题逻辑
一阶逻辑
2集合论
3二元关系
4图论
;离散数学的起源与发展脉络;319世纪：关键突破
?布尔代数：乔治。布尔(GeorgeBoole)在《逻辑的数学分析》(1847)中建立布尔代数，将逻辑转化为代数运算。
?集合论：康托尔(Cantor)在1870年代创立集合论，为离散结构提供了统一语言。
?图论成形：柯尼斯堡问题后，图论在凯莱(Cayley)等人的工作中应用于化学和树结构研究。
420世纪：系统化与计算机推动
?数理逻辑：弗雷格(Frege)，罗素(Russell)和希尔伯特(Hilbert
文档评论（0）