离散数学学习指导 科学版

3 (p1): 第一篇 数理逻辑
3 (p1-1): 第1章 命题逻辑
3 (p1-1-1): 1.1 命题与联结词
3 (p1-1-1-1): 1.1.1 基本知识
5 (p1-1-1-2): 1.1.2 例题
8 (p1-1-1-3): 1.1.3 习题
9 (p1-1-2): 1.2 命题公式
9 (p1-1-2-1): 1.2.1 基本知识
10 (p1-1-2-2): 1.2.2 例题
13 (p1-1-2-3): 1.2.3 习题
14 (p1-1-3): 1.3 等值演算
14 (p1-1-3-1): 1.3.1 基本知识
16 (p1-1-3-2): 1.3.2 例题
18 (p1-1-3-3): 1.3.3 习题
19 (p1-1-4): 1.4 命题公式的范式
19 (p1-1-4-1): 1.4.1 基本知识
22 (p1-1-4-2): 1.4.2 例题
25 (p1-1-4-3): 1.4.3 习题
25 (p1-1-5): 1.5 联结词的功能完全集
25 (p1-1-5-1): 1.5.1 基本知识
27 (p1-1-5-2): 1.5.2 例题
30 (p1-1-5-3): 1.5.3 习题
30 (p1-1-6): 1.6 永真蕴涵式
30 (p1-1-6-1): 1.6.1 基本知识
32 (p1-1-6-2): 1.6.2 例题
35 (p1-1-6-3): 1.6.3 习题
36 (p1-1-7): 1.7 命题逻辑的推理理论
36 (p1-1-7-1): 1.7.1 基本知识
37 (p1-1-7-2): 1.7.2 例题
39 (p1-1-7-3): 1.7.3 习题
40 (p1-1-8): 1.8 命题逻辑推理的机械化方法
40 (p1-1-8-1): 1.8.1 基本知识
42 (p1-1-8-2): 1.8.2 例题
46 (p1-1-8-3): 1.8.3 习题
47 (p1-2): 第2章 一阶逻辑
47 (p1-2-1): 2.1 一阶逻辑的基本概念
47 (p1-2-1-1): 2.1.1 基本知识
48 (p1-2-1-2): 2.1.2 例题
50 (p1-2-1-3): 2.1.3 习题
52 (p1-2-2): 2.2 一阶逻辑公式
52 (p1-2-2-1): 2.2.1 基本知识
54 (p1-2-2-2): 2.2.2 例题
58 (p1-2-2-3): 2.2.3 习题
59 (p1-2-3): 2.3 一阶逻辑的等值演算与前束范式
59 (p1-2-3-1): 2.3.1 基本知识
59 (p1-2-3-2): 2.3.2 例题
62 (p1-2-3-3): 2.3.3 习题
62 (p1-2-4): 2.4 一阶逻辑的推理理论
62 (p1-2-4-1): 2.4.1 基本知识
63 (p1-2-4-2): 2.4.2 例题
69 (p1-2-4-3): 2.4.3 习题
73 (p2): 第二篇 集合论
73 (p2-1): 第3章 集合
73 (p2-1-1): 3.1 集合的定义
73 (p2-1-1-1): 3.1.1 基本知识
74 (p2-1-1-2): 3.1.2 例题
76 (p2-1-1-3): 3.1.3 习题
77 (p2-1-2): 3.2 集合的基本运算
77 (p2-1-2-1): 3.2.1 基本知识
80 (p2-1-2-2): 3.2.2 例题
84 (p2-1-2-3): 3.2.3 习题
86 (p2-1-3): 3.3 有限集合的计数
86 (p2-1-3-1): 3.3.1 基本知识
87 (p2-1-3-2): 3.3.2 例题
89 (p2-1-3-3): 3.3.3 习题
90 (p2-1-4): 3.4 集合表达式的相等与包含
90 (p2-1-4-1): 3.4.1 基本知识
92 (p2-1-4-2): 3.4.2 例题
95 (p2-1-4-3): 3.4.3 习题
96 (p2-1-5): 3.5 集合的特征函数
96 (p2-1-5-1): 3.5.1 基本知识
97 (p2-1-5-2): 3.5.2 例题
98 (p2-1-5-3): 3.5.3 习题
99 (p2-2): 第4章 关系
99 (p2-2-1): 4.1 二元关系
99 (p2-2-1-1): 4.1.1 基本知识
100 (p2-2-1-2): 4.1.2 例题
101 (p2-2-1-3): 4.1.3 习题
102 (p2-2-2): 4.2 二元关系的表示及按性质分类
102 (p2-2-2-1): 4.2.1 基本知识
104 (p2-2-2-2): 4.2.2 例题
108 (p2-2-2-3):…