基本信息
- 作者: 陈国勋 刘书芳 周文俊等
- 丛书名: 高等院校计算机教材系列
- 出版社:机械工业出版社
- ISBN:9787111167044
- 上架时间:2005-9-2
- 出版日期:2005 年9月
- 开本:16开
- 页码:240
- 版次:1-1
- 所属分类:数学 > 代数,数论及组合理论 > 离散数学
教材 > 研究生/本科/专科教材 > 理学 > 数学

编辑推荐
离散数学是计算机科学基础理论的核心学科。本书系作者根据多年的教学经验和教案修改整理而成。书中精选了大量实例,力求深入浅出地介绍与计算机科学密切相关的课题,既着重于各部分内容之间的紧密联系,又深入探讨概念、理论、算法和实际应用。各章节配有相当数量的习题,书后的提示和答案可为读者迅速掌握有关知识提供有效帮助。
本书可作为高等院校计算机和相关专业离散数学课程的教材,也可供有关技术人员学习参考。
内容简介
目录
1.1 基本概念 1
1.1.1 命题 1
1.1.2 连接词 2
1.1.3 公式 3
1.1.4 重言式 5
习题 6
1.2 公式的等价关系 6
1.2.1 等价 6
1.2.2 等价代换 7
1.2.3 对偶性 8
习题 9
1.3 范式 10
1.3.1 范式 10
1.3.2 主析取范式 10
1.3.3 主合取范式 12
1.3.4 判定问题 13
习题 14
1.4 公式的蕴涵关系 14
1.4.1 蕴涵 14
前言
随着学科建设的初步完善和教材改革的深化,教育界对计算机教材的需求和应用都步入了一个新的阶段。为了认真贯彻《中国教育改革和发展纲要》和教育部《面向21世纪教育振兴行动计划》的精神,适应社会、经济、科技、文化,特别是教育的发展方向,适应培养新世纪计算机人才的需要,我们在已经著就的《离散数学》、《离散数学问题解析》的基础上经过修改整理,推出了本教材。全书共分11章,第1、2章为数理逻辑部分,第3至5章及第11章为集合论部分,第6至8章为图论部分,第9及10章为代数系统部分。通过精选的大量实例,力求深入浅出地介绍与计算机科学密切相关的课题,既着重于各部分内容之间的紧密联系,又深入探讨各部分内容的概念、理论、算法和实际应用。内容叙述力求严谨、推演力求详尽,使之也适合自学。各章节配备的大量习题与书后的提示和答案为读者迅速掌握有关知识提供了有效帮助。
参加编写的有李伦(第1、2章),李保清(第3、4、5章),周文俊(第6、7、8、11章),徐荣才(第9、10章),陈国勋与刘书芳对全书进行了修改和统稿。
由于我们的水平有限,书中错误及不妥之处在所难免,恳请读者批评指正。
编 者
2005年6月于郑州