内容简介

本书是上海市精品课程“离散数学”的教材。内容主要分为如下几个部分：第1部分，数理逻辑基础；第2部分，集合论基础；第3部分，代数系统基础；第4部分，图论基础。数理逻辑基础部分主要讲述命题逻辑、谓词逻辑的基础理论和它们在推理理论中的简单应用；集论基础部分主要讲述集合与关系、映射、函数与集合的基数等基本内容；代数系统基础部分主要讲述二元运算的主要性质及代数系统中若干重要的元素，并介绍广群、半群、含幺半群、群及环和域，以及格与Boole代数的基础知识；图论基础部分主要讲述图和树的基础知识及其简单应用。每章后附有一定数量的习题，其中有一些是历年研究生考试的试题，可供读者学习时选做。建议读者能独立完成这些习题中的大部分，这对掌握这门课程的主要内容是至关重要的。本书的电子教案和习题的详细解答将免费提供给任课教师使用（索取邮箱：wbj@mail.machineinfo.gov.cn）。
本书可供计算机专业、应用数学专业以及其他相关专业的本科生作教材使用，也可供有关专业的教师和学生用作教学或者学习参考书，并适合对本书内容感兴趣的数学爱好者自学使用。