离散数学

图书标准信息

• 作者 李盘林 编
• 出版社 人民邮电出版社
• 出版时间 2002-06
• 版次 1
• ISBN 9787115101570
• 定价 21.00元
• 装帧 其他
• 开本 其他
• 纸张 其他

【内容简介】

本书是介绍离散数学的一本教材，共有11章，内容包括命题逻辑、谓词逻辑、集合、关系、函数、代数结构的基本概念及性质、半群与群、环与域、格与布尔代数、图的基本概念及矩阵表示以及几类重要的图。

  全书编写力求通俗、简明、扼要。各章都配有典型的例子和适量的习题，便于读者理解与掌握内容。

  本书可作为高等学校计算机及相关专业的教材，也可供有关技术人员学习参考。

【目录】

第一章命题逻辑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谓词公式范式2.7谓词逻辑的推理理论习题第三章集合3.1集合论基础3.2集合运算及其性质3.3集合的笛卡尔积与无序积习题第四章关系4.1二元关系4.2关系运算4.3关系类型习题第五章函数5.1函数的基本概念5.2函数类型5.3函数运算5.4基数习题第六章代数结构的概念及性质6.1代数结构的定义与例6.2代数结构的基本性质6.3同态与同构6.4同余关系6.5商代数6.6积代数习题第七章半群与群7.1半群和独异点的定义及性质7.2半群和独异点的同态与同构7.3积半群7.4群的基本定义与性质7.5置换群和循环群7.6子群与陪集7.7群的同态与同构习题第八章环和域8.1环8.2子环与理想8.3环同态与环同构8.4域8.5有限域习题第九章格与布尔代数9.1格9.2布尔代数9.3子布尔代数、积布尔代数和布尔代数同态9.4布尔代数的原子表示9.5布尔代数Br29.6布尔表达式及其范式定理习题第十章图的概念与表示10.1图的基本概念10.2链(或路)与圈(或回路)10.3图的矩阵表示习题第十一章几类重要的图11.1欧拉图与哈密尔顿图11.2二部图11.3树11.4平面图习题参考文献