第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型，掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系，熟练地掌 握两类特殊的关系—等价关系与 偏序关系；熟练地用Warshall算 法求关系的传递闭包；理解映射 的意义，本章为第三、六、七章 的基础

一、本章讨论集合论中较为困难的问题—集合的基数问题；但只限于对基数作一简单介绍；如学时较少可不讲本章或对本章作恰当的删减. 二、本章主要概念为:集合的等势、有限集与无限集、可数集与不可数集及较为常见的集合的基数

一、集合是现代数学各分支的共同基础，当 然也是本书的基础，读者应熟练地掌握 本章的全部内容，本章的一些内容，如 集合的并、交、Venn图等已在中学及 大学的其他课程中学习过，但为了内容 的完整及这些内容基础地位，我们没有 省略这些内容

定义：设X和Y是任何两个集合，而f是X到 Y的一个关系，如果对于每一个xX，有 唯一的yY，使得f，称关系f为 函数，记作：

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

定义一个图是一个三元组,简记为G＝