离散数学导论(第3版)
分類: 图书,自然科学,数学,代数 数论 组合理论,
作者: 徐洁磐 著
出 版 社: 高等教育出版社
出版时间: 1982-6-1字数: 370000版次: 1页数: 253印刷时间: 2006/01/01开本:印次:纸张: 胶版纸I S B N : 9787040146134包装: 平装内容简介
本书是1982年问世的《离散数学导论》的第3版,本版基本上保持原第2版的风格与内容,并适当做了补充与删改,本版对原有的章节进行了重新编排,同时增加了大量习题。在每一篇结束后都给出了复习指导,供学习参考本书可作为高等学校计算机及相关专业离散数学课程的教材或参考书,也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。
目录
第一篇绪言
第二篇集合论
第一章集合论初步
§1.1集合的基本概念
§1.2幂集、n元有序组及笛卡儿乘积
习题一
第二章关系
§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群
习题六
第七章其他代数系统
§7.1环、理想、整环和域
§7.2格与布尔代数
习题七
第三篇复习指导
第三篇总复习题
第四篇图论
第八章图论原理
§8.1图的基本概念
§8.2通路、回路与连通性
§8.3欧拉图
§8.4汉密尔顿图
§8.5图的矩阵表示法
习题八
第九章常用图
§9.1树
§9.2平面图
§9.3两步图
习题九
第四篇复习指导
第四篇总复习题
第五篇数理逻辑
第十章命题逻辑
§10.1命题与命题联结词
§10.2命题变元与命题公式
§10.3重言式
§10.4命题逻辑的基本等式
§10.5对偶定理
§10.6命题逻辑的基本蕴含式及推理规则
第十一章谓词逻辑
第十二章数理逻辑的公理化理论
第十三章非经典逻辑介绍
附录一常用符号一览表
附录二中英文名词对照表
参考文献