离散数学基础（一）
一 数理逻辑-基本概念
二 数理逻辑-命题逻辑及形式系统
三 数理逻辑-谓词逻辑及形式系统
四 集合论
五 集合论-集合代数
六 集合论-特殊关系及函数
七 图论：图的基本概念
八 图论-特殊图
九 抽象代数
十 形式语言与自动机：基本概念
十一形式语言与自动机-有限状态机
十二形式语言与自动机-图灵机与计算理论
离散数学基础（一）
原创
©著作权归作者所有：来自51CTO博客作者茗君（Major_S）的原创作品，请联系作者获取转载授权，否则将追究法律责任
上一篇：DIOU
提问和评论都可以，用心的回复会被更多人看到
评论
发布评论
相关文章
-
离散数学数学 数据
-
离散数学笔记，基础数学分支
1、给定n个数字，要求选出3个数，其和为3的倍数。 思路，分类，把每个数字%3后，0、1
#include ios #define -
离散数学下载
离散数学
离散数学 -
离散数学笔记
谓词是一个有确切意思的命题。合取公式非合取式。任意逻辑谓词公式都可化为与之等价的前束范式，但
计算机数学基础 真值表 等价关系 子图 -
离散数学谓词逻辑
命题逻辑的推理理论推理的基本概念：设Ｇ，Ｈ是公式，对任意解释Ｉ，如果Ｉ满足Ｇ，那么Ｉ满足Ｈ，则称Ｈ是Ｇ的逻辑结
离散数学 合式公式 原子公式 谓词逻辑
