|
|
|
书名： |
离散数学
|
| ISBN： | 7-5606-0066-2 |
条码： | |
| 作者： |
乔维声
相关图书
|
装订： | 0 |
| 印次： | 1-8 |
开本： | 0 |
| 定价： |
￥13.00
折扣价：￥12.35
折扣：0.95
节省了0.65元
|
字数： |
295千字
|
| 出版社： |
西安电子科技大学出版社 |
页数： |
|
| 发行编号： | 034904 |
每包册数： |
|
| 出版日期： |
2000-02-01 |
|
|
| 内容简介： |
本书第一版于1989年5月作为电子类“七五”规划教材由西安电子科技大学出版社出版。最近,根据原电子工业部《1996—2000年全国电子信息类专业教材编审出版规划》,该书修订后再次出版。
全书共分七章,主要内容有命题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。
本次修订根据原国家教委对大专层次的理论教学以够用为度的原则,并根据近几年来大专计算机教学的需要进行。在内容的选择上,将删去原书中一些不适合大专教学的较难部分或与前后内容联系不大的概念;将原书的第6、7两章合并为现第6章,简化对代数系统的研究;对一些难度较大的内容增补了一些例子,并提供不同学时的选择。在修订中保留原书由浅入深,由直观到抽象,通俗易读,用图解的方法来形象地描述一些概念、关系和算法等特色,进一步做到概念清晰、准确、推理严谨。
本书既可作为普通专科院校、职业大学、职工大学的计算机专业教材,也可作为非计算机专业相应课程的教材或教学参考书。
|
| 作者简介： |
|
|
| 章节目录： |
第1章 命题逻辑 (1)
1.１ 命题与命题公式 (1)
1.２ 重言式 (8)
1.３ 命题演算的推理规则和证明方法 (13)
1.４ 命题公式的标准形式 (21)
习题1 (28)
第2章 谓词逻辑 (31)
2.１ 个体、 谓词与命题函数 (32)
2.２ 量词 (33)
2.３ 谓词公式与翻译 (35)
2.４ 谓词演算的推理理论 (38)
习题2 (46)
第3章 集合 (50)
3.１ 基本概念 (50)
3.２ 集合的运算与运算定律 (54)
3.３ 集合的划分与覆盖 (61)
3.４ 容斥原理 (62)
习题3 (64)
第4章 关系 (68)
4.１ 序偶与笛卡儿积 (68)
4.２ 关系、关系矩阵和关系图 (70)
4.３ 关系的运算 (74)
4.４ 关系的性质 (78)
4.５ 关系的闭包运算 (82)
4.６ 等价关系与等价类 (86)
4.７ 偏序 (88)
习题4 (92)
第5章 函数 (97)
5.１ 函数与特殊类型函数 (97)
5.２ 函数的运算 (101)
5.３ 集合的势与可数集 (105)
5.４ 鸽舍原理 (110)
习题5 (112)
第6章 代数系统的基本理论和特殊代数系统 (115)
6.１ 运算和代数系统 (115)
6.２ 二元运算的性质与特殊元素 (118)
6.３ 同态和同构 (123)
6.４ 半群和独异点 (127)
6.５ 群 (131)
6.６ 群中元素的周期与循环群 (135)
6.７ 子群 (138)
*6.８ 格 (140)
习题6 (144)
第7章 图论 (149)
7.１ 图的基本概念 (149)
7.２ 路与圈 (153)
7.３ 图的矩阵表示 (158)
7.４ 有向图和可达性矩阵 (160)
7.５ 欧拉图与哈密尔顿图 (164)
7.６ 树 (170)
7.７ 根树及其应用 (173)
*7.8 偶图与匹配 (181)
7.９ 平面图与欧拉公式 (183)
习题7 (187)
参考文献 (193)
|
| 精彩片段： |
|
|
| 书 评： |
本教材系按原电子工业部的《1996－2000年全国电子信息类专业教材编审出版规划》,由大专计算机专业教学指导委员会编审、推荐出版的。本教材由江汉大学乔维声编写,主审华中理工大学洪帆教授,责任编委顾藏知副教授。
本书第一版于1989年5月作为电子类“七五”规划教材由西安电子科技大学出版社出版。出版以来,得到诸多使用者的好评。1992年本教材被评为机械电子工业部优秀教材二等奖。最近,根据对大专层次的理论教学以够用为度的原则,并根据近几年来大专计算机教学的需要,大专计算机专业教学指导委员会决定修订本书。
全书共分七章,主要内容有命题逻辑、谓词逻辑、集合、关系、函数、代数系统的基本理论和特殊代数系统、图论等。
为使学生逐渐适应本课程概念多、内容抽象、逻辑性强的特点,根据大专教学的要求,将仍按原书由浅入深,由直观到抽象,通俗易读,用图解的方法来形象地描述一些概念、关系和算法等特色做好修订。同时进一步做到概念清晰、准确、推理严谨,力求使一些抽象难懂的内容学生易于理解和接受,努力培养学生分析问题与解决问题的能力。在内容的选择上,将删去原书中一些不适合大专教学的较难部分（如“谓词演算在程序正确性证明上的应用”、“运输网络”等）;将原书的第6、7两章合并为现第6章,简化对代数系统的研究;对一些难度较大的内容增补了一些例子。
考虑到专科类计算机各专业的特点、各校专业方向的侧重以及学时数不同,本书按照教学指导委员会的要求,提供不同学时的选择。本书的参考学时数为60学时（不含打＊的部分）,对于安排讲授40～50学时左右的专业,可根据学时略去不讲1.４节、3.4节、5.3节、5.4节、6.6节、7.4.2节和7.7.3节中的“２”和“３”等内容。对于讲授学时不足40的专业,除以上内容外还可略去第六章不讲。对有富余学时的专业,可由教师根据需要选讲打＊号的内容。
本书既可作为普通专科院校、职业大学、职工大学的计算机专业教材,也可作为非计算机专业相应课程的教材或教学参考书。
在本书的修订中,西安电子科技大学出版社和江汉大学的领导和同志们给予了极大的支持,华中理工大学洪帆教授审阅了全书并提出很好的意见,大专计算机专业教学指导委员会康乃真教授、顾藏知副教授等同志关注本书的出版,在此对所有关心和支持本书出版的同志们表示诚挚的谢意。
由于笔者水平有限,书中难免存在一些不妥和错误,殷切希望广大读者批评指正。
|
| 其 它： |
|
|
