离散数学（附光盘）
点此进入淘宝搜索页搜索分類: 图书,自然科学,数学,代数 数论 组合理论,
作者： 陈莉，刘晓霞编著
出 版 社： 高等教育出版社
出版时间： 2002-8-1字数： 470000版次： 1页数： 398印刷时间： 2005/04/01开本： 16开印次： 4纸张： 胶版纸I S B N ： 9787040110968包装： 平装内容简介
本书较全面地介绍了计算机科学与技术及相关专业所必需的数学知识。全书共分为数理逻辑、集合论、近世代数和图论4篇。第一篇包括命题逻辑、谓词逻辑和非经典逻辑；第二篇包括集合、关系、函数、模糊集和粗糙集；第三篇包括代数系统的概念、半群、群、环、域、格和布尔代数；第四篇包括图的基本概念、欧拉图、哈密顿图、树、二分图、平面图和Petri网。各篇相对独立而又有机联系，证明力求严格完整。书中的例题、习题具有一定的典型性，内容深入浅出，便于自学。各章配有复习提要及理论联系实际的上机练习题，便于读者总结和提高。本书同时配有多媒体课件。
本书可作为高等院校计算机科学与技术及相关专业的教材，也可作为考研及相关专业技术人员的参考书。
目录
第1篇数理逻辑
第一章命题逻辑
1.1命题及联结词
1.2命题公式及命题公式的翻译
1.3公式的等价性
1.4永真式.永假式及蕴涵式
1.5不同真值表的命题公式及全功能联结词集合
1.6对偶
1.7公式标准型--范式
1.8命题演算的推理理论
本章小结
习题
第二章谓词逻辑
2.1谓词.量词.个体域
2.2谓词公式和公式的翻译
2.3约束变元与自由变元
2.4谓词演算的等价式及蕴涵式
2.5前束范式
2.6谓词演算的推理理论
本章小结
习题
第三章非经典逻辑简介
3.1模态逻辑基础
3.2模态逻辑的几种解释
3.3三值逻辑
3.4非单调逻辑
本章小结
习题
第2篇集合论
第四章集合
4.1集合的概念及其表示法
4.2集合间的关系
4.3集合的基本运算
4.4包含与排斥原理
4.5有限集合与无限集合
4.6可数集合与不可数集合
本章小结
习题
第五章关系
5.1关系的概念
5.2二元关系的表示及其性质
5.3等价关系与划分
5.4相容关系与覆盖
5.5关系的运算
5.6偏序关系
本章小结
习题
第六章函数
6.1函数
6.2特殊函数
6.3反函数
6.4集合的特征函数与模糊子集的概念
本章小结
习题
第七章粗糙集简介
7.1粗糙集合研究概况
7.2知识的基本概念
7.3粗糙集的基本概念
7.4成员关系.粗等价和粗包含
本章小结
习题
第3篇近世代数
第八章代数系统
第九章半群与群
第十章环与域
第十一章格与布尔代数
第4篇图论
第十二章图的基本概念
第十三章欧拉图与哈密顿图
第十四章特殊图
第十五章Petri网简介
附录一知识框架
附录二部分习题解答
附录三离散数学名词中英文对照表
参考文献
