高等学校教材·计算机科学与技术：离散数学习题集

　　第1章 集合的基本概念
　　1.1 内容提要
　　l.1.1 集合
　　1.1.2 集合问的关系
　　1.1.3 集合的运算
　　1.1.4 幂集和编码
　　1.1.5 集合恒等式的证明
　　1.2 典型例题
　　1.3 习题解答
　　第2章 关系
　　2.1 内容提要
　　2.1.1 关系的基本概念
　　2.1.2 关系的表示方法
　　2.1.3 关系的运算
　　2.1.4 关系的性质
　　2.1.5 关系的闭包
　　2.1.6 等价关系与划分
　　2.1.7 偏序关系
　　2.2 典型例题
　　2.3 习题解答
　　第3章 函数
　　3.1 内容提要
　　3.1.1 函数的基本概念
　　3.1.2 特殊函数
　　3.1.3 复合函数与逆函数
　　3.2 典型例题
　　3.3 习题解答
　　第4章 代数系统及其性质
　　4.1 内容提要
　　4.1.1 二元运算及其性质
　　4.1.2 代数系统
　　4.1.3 同态与同构
　　4.2 典型例题
　　4.3 习题解答
　　第5章 几个典型的代数系统
　　5.1 内容提要
　　5.1.1 群
　　5.1.2 环和域
　　5.1.3 格与布尔代数
　　5.2 典型例题
　　5.3 习题解答
　　第6章 命题逻辑
　　6.1 内容提要
　　6.1.1 命题与命题联结词
　　6.1.2 命题公式与真值表
　　6.1.3 命题公式的等价关系和蕴涵关系
　　6.1.4 命题公式的范式表示
　　6.1.5 命题演算的推理理论
　　6.2 典型例题
　　6.3 习题解答
　　第7章 一阶谓词逻辑
　　7.1 内容提要
　　7.1.1 一阶逻辑基本概念
　　7.1.2 谓词公式及其解释
　　7.1.3 谓词公式之间的关系与范式表示
　　7.1.4 谓词演算的推理理论
　　7.2 典型例题
　　7.3 习题解答
　　……
　　第8章 图
　　第9章 特殊图
　　参考文献

　　    《高等学校教材·计算机科学与技术：离散数学习题集》是计算机专业的一门重要基础课，它所研究的对象是离散数量关系和离散结构数学模型，计算机的许多领域都要用到离散数学中的概念。离散数学课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方法，这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业课程中，同时，该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高，也有益于学生严谨、完整、规范的科学态度的培养。