图论 图论 图的基本概念 (7-1) 路与回路 (7-2) 图的矩阵表示 (7-3) 欧拉图与汉密尔顿图 (7-4) 平面图 (7-5) 树与生成树 (7-7) 根树及其应用 (7-8) 主要知识点 Part 1 基本概念 图的基本概念： 图 无向图 有向图 邻边 邻点 孤立点 平凡图 零图 结点度数与边数的关系 最大度数 最小度数 平行边 自回路…

代数系统 代数结构 代数系统的引入 (5-1) 运算及其性质 (5-2) 半群 (5-3) 群与子群 (5-4) 阿贝尔群和循环群 (5-5) 陪集与拉格朗日定理 (5-7) 主要知识点 运算及其性质 代数系统 半群，群，子群 交换群、循环群 拉格朗日定理 代数系统基础 非空集合 $A$ 以及定义在集合上的若干个运算 $f_1,f_2,\dots …

集合论 $$ \begin{gather*} \left \langle \lbrace you,me \rbrace,like \right \rangle \newline Is \enspace closure? \end{gather*} $$ 集合与关系 集合的概念与表示法 (3-1) 集合的运算 (3-2) 序偶与笛卡尔积 (3-4) …

数理逻辑 命题逻辑 命题及其表示 (1-1) 联结词及其他联结词 (1-2，1-6) 命题公式与翻译 (1-3) 真值表与等价公式 (1-4) 重言式与蕴含式 (1-5) 对偶与范式 (1-7) 推理理论 (1-8) 谓词逻辑 谓词概念与表示 (2-1) 命题函数与量词 (2-2) 谓词公式与翻译 (2-3) 主要知识点 命题的概念、表示、类型（重…

离散数学 Lab 1 命题逻辑 Explanation 老师并没有要求采用何种语言进行编写，这里还是优先采用了 C 语言。 在大部分程序设计语言中包含一定的逻辑/位运算符号，如：&(与) |(或) !(非) ^(异或) 等, 对应命题逻辑中的部分联结词，在书写程序的时候可以直接使用. 但为了表示出命题与命题变元之间的真值关系, 在本文中在多…