林夕

1 命题逻辑基本概念 1.1 命题与联结词 1.1.1 命题 1.1.1.1 命题 1.1.1.2 真值 1.1.1.3 真命题与假命题 1.1.1.4 简单命题（原子命题）与复合命题 1.1.1.5 悖论 1.1.1.6 命题与真值的符号化 1.1.2 联结词 1.1.2.1 否定联结词 1.1.2.2 合取联结词 1.1.2.3 析取联结词 1.1.2.4 蕴涵联结词 1.1.2.5 ...

1 集合代数 1.1 集合的基本概念 1.2 集合的运算 1.3 有穷集的计数 1.4 集合恒等式 2 二元关系 2.1 有序对与笛卡尔积 2.2 二元关系 1 集合代数 1.1 集合的基本概念 1.2 集合的运算 1.3 有穷集的计数 1.4 集合恒等式 2 二元关系 2.1 有序对与笛卡尔积 2.2 二元关系 ...

1 图 1.1 图的定义 1.1.1 无序积 1.1.2 无向图 1.1.3 有向图 1.1.4 图 1.1.5 阶 1.1.6 零图、n阶零图、平凡图 1.1.7 空图 1.1.8 标定图与非标定图 1.1.9 基图 1.2 元素之间的关系 1.2.1 端点与关联次数 1.2.2 相邻 1.2.3 孤立点 1.2.4 无向图的邻域与关联集 1.2.4.1 邻域 1.2.4.2 闭邻域 1...

1 代数系统 1.1 二元运算及其性质 1.1.1 二元运算 1.1.1.1 定义 1.1.1.2 验证方法 1.1.2 一元运算 1.1.3 算符 1.1.4 表示法 1.1.4.1 表达式 1.1.4.2 运算表 1.1.5 二元运算的性质 1.1.5.1 涉及一个二元运算的算律 1.1.5.1.1 交换律 1.1.5.1.2 结合律 1.1.5.1.3 幂等律 1.1.5.1.4...