书目

高等院校计算机教材系列：离散数学

内容简介

本书较为系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识，全书分为四个部分（数理逻辑、集合论初步、代数结构和图论），共7章。第1章介绍命题及其命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍二元关系和函数；第5章介绍代数系统；第6章介绍几个典型的代数系统；第7章介绍图论的初步内容和一些特殊图及其性质。本书各章之后配有适当难度的习题，便于学生课后练习。每个部分结束后配有内容小结，便于学生自学、复习和提高。本书可以作为高等院校计算机科学与技术、软件工程等相关专业的教材，也可以作为考研及计算机工作者的参考书。

目录

丛书

高等院校计算机教材

—  END  —