书籍介绍
离散数学是现代数学的一个重要分支和计算机科学基础理论的核心课程，它充分描述了计算机科学离散性的特点，是随着计算机科学的发展而逐步建立起来的新型基础性学科。本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。
本书从算法分析和问题求解的角度，全面系统地介绍了离散数学的基础概念及相关知识。书中通过大量实例，深入浅出地讲解了数理逻辑、组合算法、图论、Boole代数、网络模型、形式语言与自动机理论、计算几何等与计算机科学密切相关的前沿课题，既着重于各部分内容之间的紧密联系，又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽，各章配有相当数量的习题与书后的提示和答案，为读者迅速掌握相关知识提供了有效的帮助。
本书既可作为计算机科学及计算数学等专业的本科生和研究生教材，也可作为工程技术人员和相关人员的参考书。
AI导读
核心看点
- 经典教材，涵盖逻辑、集合、图论等核心内容
- 例题丰富，注重算法思想与数学建模应用
- 体系严谨，是计算机科学专业的基石读物
适合谁读
- 计算机、数学及相关专业的在校学生
- 需要系统补充离散数学基础知识的从业者
- 对算法设计与数据结构有深入兴趣的读者
读前提醒
- 中文版翻译质量参差不齐，建议对照原文
- 内容庞杂，建议结合课程或视频辅助理解
- 数学基础薄弱者需耐心，切勿急于求成
读者共识
- 内容经典权威，但中文翻译令人诟病
- 讲解深入浅出，适合构建知识框架
- 习题质量高，是学习数据结构的前置必备
本导读基于书籍简介、目录、原文摘录、短评和书评生成，不等同于全文精读。
精彩摘录
- "各种算法有若干共有的性质。在描述算法时记住他们是有用的。这些性质是： * 输入 算法从一个指令的集合得到输入值 * 输出 对每个输入值集合，算法都要从每个指令的集合中产生输出值。输出值就是问题的解。 * 确定性 算法的步骤必须是准确定义的。 * 正确性 对每一组输入值，算法都产生正确的输出值。 * 有限性 对集合中的任何输入，算法都应在有限（可能很多）步之后产生所求的输出。 * 有效性 算法的每一步必须能够准确地执行，并在有限时间内完成。 * 通用性 算法过程应适用于要求形式的所有问题，而不只是用于一组特定的输出值。"
- "The number 1 has this property, since the only positive integer not exceeding 1 is 1 itself, and therefore the sum is 1. This is a constructive proof."
- "the set of students at your school who either are not sophomores or are not taking ds"
- "有向图的邻接矩阵定义中，aij=1，若{vi,vj}是G的一条边"
- "但是删除顶点v和所有与v关联的边.."
- "证明：如果n是不能被2或3整除的整数，则n^2 - 1能被24整除"
- "Many people fnd it confusing that "p only if q" expresses the same thing as "if p then q." To remember this, note that "p only if q" says that p cannot be true when q is not true. That is, the statement is false if p is true, but q is false. When p is false, q may be either true or false, because th"
- "由5个ASCII码构成且至少(在符号位)包含一个@字符的串有多少个？"
作者简介
Kenneth H. Rosen，作为位于新泽西州蒙茅斯县的 AT＆T 实验室杰出技术会员，已经拥有一段很长的职业生涯。目前他在蒙茅斯大学任访问研究教授，为研究生讲授计算机科学课程。
Rosen 博士于1972年获得位于安娜堡的密歇根大学数学学士学位，1976年获得麻省理工学院数学博士学 位，在 Harold Stark 的指导下他撰写了数论方面的博士论文。1982年加入贝尔实验室之前，他曾就职于科罗拉多大学博尔德分校；哥伦布市的俄亥俄州立大学；在欧洛诺市的缅因大学任数学副教授。在 AT&T 工作时，他在蒙茅斯大学任教，教授离散数学、编码理论和数据安全方面的课程。他目前教授算法设计以及计算机安全和密码学方面的课程。
电子工业出版社的其他书籍查看全部
下载
收藏