离散数学基础(一)
一 数理逻辑-基本概念
二 数理逻辑-命题逻辑及形式系统
三 数理逻辑-谓词逻辑及形式系统
四 集合论
五 集合论-集合代数
六 集合论-特殊关系及函数
七 图论:图的基本概念
八 图论-特殊图
九 抽象代数
十 形式语言与自动机:基本概念
十一形式语言与自动机-有限状态机
十二形式语言与自动机-图灵机与计算理论
一 数理逻辑-基本概念
二 数理逻辑-命题逻辑及形式系统
三 数理逻辑-谓词逻辑及形式系统
四 集合论
五 集合论-集合代数
六 集合论-特殊关系及函数
七 图论:图的基本概念
八 图论-特殊图
九 抽象代数
十 形式语言与自动机:基本概念
十一形式语言与自动机-有限状态机
十二形式语言与自动机-图灵机与计算理论