离散数学基础

出版时间：2004-11  出版社：中国科大出版社  作者：王传玉  页数：193  
Tag标签：无  

内容概要

　　离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。离散数学是随着计算机科学的发展而逐步建立的，它形成于20世纪70年代初期，是一门新兴的工具笥学科。为适应计算机科学教学的需要，组织编写了这本理工科院校计算机专业适用的基础教材。　　内容包括：数理逻辑；谓词逻辑；集合代数；二元关系；函数；代数结构；格与布尔代数；图论等。　　《离散数学基础》特色是内容实用，叙述简捷，实例突出，非常适合大专院校师生和有关科技人员使用。

书籍目录

第1章　命题逻辑1.1　命题与逻辑联结词1.2　命题公式1.3　真值表和等价公式1.4　蕴含式1.5　其他联结词1.6　对偶与范式1.7　推理理论第2章　谓词逻辑2.1　谓词的概念与表示2.2　命题函数与量词2.3　谓词公式与变元的约束2.4　谓词演算的等价式与蕴含式2.5　谓词演算的推理理论第3章　集合的基本概念3.1　集合的基本概念3.1　集合的计数第4章　二元关系4.1　序偶与笛卡尔积4.2　二元关系4.3　关系的运算4.4　关系的性质4.5　关系的闭包运算4.6　等价关系与划分4.7　偏序关系第5章　函数5.1　函数的概念5.2　函数的复合与反函数第6章　代数结构6.1　二元运算及其性质6.2　代数系统6.3　半群6.4　群6.5　子群6.6　陪集与格拉朗日定理6.7　群的同态与同构6.8　环与域第7章　格与布尔代数7.1　格的概念7.2　分配格与有补格7.3　布尔代数第8章　图论8.1　图的基本概念8.2　路径的回路8.3　图的矩阵表示8.4　欧拉图与哈密尔顿图8.5　二部图8.6　平面图8.7　树符号表参考文献