离散数学

出版时间：2003-1  出版社：机械工业出版社  作者：尤枫颜可庆  页数：248  字数：396  

内容概要

本书系统地介绍了离散数学领域中各分支的主要内容，包括数理逻辑、集合论、代数系统和图论四个部分，各部分这间相对独立而又相互联系。具有内容系统、根念清晰、证明严谨的特点，各章均配有典型的例子和适量的习题，以便读者理解和掌握所学的内容。本书可作为高等学校计算机科学与技术及相关专业的教材，也可供从事计算机工作的科技人员和工程技术人员参阅。出版说明

书籍目录

前言
第一章命题逻辑
第二章谓词逻辑
第三章集合论
第四章关系
第五章函数
第六章代数系统
第七章半群与群
第八章环和域
第九章格与布尔代数
第十章图
第十一章特殊图
参考文献