目录 第1章命题逻辑 1.1命题与命题联结词 1.1.1命题 1.1.2命题联结词 1.2命题公式与分类 1.2.1命题公式 1.2.2公式的赋值与分类 1.3等值演算 1.3.1基本等值式 1.3.2命题公式的等值演算 1.4对偶与范式 1.4.1对偶 1.4.2析取范式与合取范式 1.4.3主范式 1.4.4主范式的应用 1.5推理理论 1.5.1命题的蕴涵关系 1.5.2构造推理的形式证明 1.5.3推理规则 1.6例题解析 本章小结 习题 第2章谓词逻辑 2.1谓词逻辑的基本概念 2.1.1谓词、个体和个体域 2.1.2量词 2.2谓词公式及其解释 2.2.1谓词公式的定义 2.2.2谓词公式的解释 2.2.3谓词公式的分类 2.3谓词公式之间的关系与范式表示 2.3.1谓词公式之间的关系 2.3.2范式 2.4谓词演算的推理理论 2.4.1推理规则 2.4.2推理规则实例 2.5例题解析 本章小结 习题 第3章集合及其运算 3.1集合的基本概念 3.1.1集合的概念 3.1.2集合的特性 3.1.3集合的表示方法 3.2集合间的关系 3.2.1包含关系 3.2.2相等关系 3.2.3特殊集合 3.3集合的运算 3.3.1集合的基本运算 3.3.2有限集的计数 3.4幂集和编码 3.4.1幂集 3.4.2幂集元素与编码 3.5集合恒等式证明 3.5.1基本定义法 3.5.2公式法 3.5.3集合成员表法 3.6例题解析 本章小结 习题 第4章关系 4.1关系的基本概念 4.1.1集合的笛卡儿积 4.1.2关系的定义 4.2关系的表示方法 4.2.1集合表示法 4.2.2关系矩阵表示法 4.2.3关系图表示法 4.3关系的运算 4.3.1复合运算 4.3.2逆运算 4.4关系的性质 4.4.1关系的五种性质 4.4.2关系性质的证明 4.5关系的闭包 4.6等价关系与划分 4.6.1等价关系 4.6.2集合的划分 4.6.3集合的划分与等价关系 4.7次序关系 4.7.1偏序的定义及表示 4.7.2偏序集中的特殊元素 4.7.3拟序关系 4.7.4全序关系 4.7.5良序关系 4.8例题解析 本章小结 习题 第5章函数 5.1函数的基本概念 5.2特殊函数与常函数 5.3复合函数与逆函数 5.3.1复合函数 5.3.2逆函数 5.4例题解析 本章小结 习题 第6章图论 6.1图的基本概念 6.1.1图的定义 6.1.2图的表示 6.1.3图的运算 6.1.4邻接点与邻接边 6.1.5图的分类 6.1.6子图 6.1.7节点的度与握手定理 6.1.8图的连通性 6.1.9无向图的遍历 6.2树 6.2.1无向树的定义 6.2.2根树的定义 6.2.3树的遍历 6.3带权图及其应用 6.3.1带权图的最短距离 6.3.2带权图的最小生成树 6.3.3哈夫曼树 6.4特殊图 6.4.1平面图 6.4.2欧拉图 6.4.3哈密顿图 6.5例题解析 本章小结 习题 参考文献