具体描述
本书是一版的基础上进行了更新,增加了一些典型的应用实例,并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。全书既有严谨、系统的理论阐述,也有丰富的、面向计算机科学技术发展的应用实例,同时选配了大量的典型例题与练习。各章内容按照模块化结构组织,可以适应不同的教学要求。有与本书配套的电子教案与学习指导与习题解析。
本书可以作为普通高等学校计算机科学与技术专业、软件工程专业、计算机应用专业、信息与计算科学专业等本科生离散数学课程的教材,也可以供其他专业学生和科技人员阅读参考。
作者简介
屈婉玲,1969年毕业于北京大学物理系物理专业,现为北京大学信息科学技术学院教授,博士生导师,中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析,发表论文20余篇,出版教材、教学参考书、译著20余本,其中包含多本国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家精品课程,两次被评为北京大学十佳教师,并获得北京市优秀教师称号。曾主持过多项国家教材和课程建设项目,并获得北京市教育教学成果(高等教育)一等奖。
目录信息
第1章命题逻辑的基本概念
1.1命题与联结词
1.2命题公式及其赋值
习题1
第2章命题逻辑等值演算
2.1等值式
2.2析取范式与合取范式
2.3联结词的完备集
2.4可满足性问题与消解法
习题2
第3章命题逻辑的推理理论
3.1推理的形式结构
3.2自然推理系统P
3.3消解证明法
习题3
第4章一阶逻辑基本概念
4.1一阶逻辑命题符号化
4.2一阶逻辑公式及其解释
习题4
第5章一阶逻辑等值演算与推理
5.1一阶逻辑等值式与置换规则
5.2一阶逻辑前束范式
5.3一阶逻辑的推理理论
习题5
第2部分集合论
第6章集合代数
6.1集合的基本概念
6.2集合的运算
6.3有穷集的计数
6.4集合恒等式
习题6
第7章二元关系
7.1有序对与笛卡儿积
7.2二元关系
7.3关系的运算
7.4关系的性质
7.5关系的闭包
7.6等价关系与划分
7.7偏序关系
习题7
第8章函数
8.1函数的定义与性质
8.2函数的复合与反函数
8.3双射函数与集合的基数
8.4一个电话系统的描述实例
习题8
第3部分代数结构
第9章代数系统
9.1二元运算及其性质
9.2代数系统
9.3代数系统的同态与同构
习题9
第10章群与环
10.1群的定义及性质
10.2子群与群的陪集分解
10.3循环群与置换群
10.4环与域
习题10
第11章格与布尔代数
11.1格的定义与性质
11.2分配格、有补格与布尔代数
习题11
第4部分组合数学
第12章基本的组合计数公式
12.1加法法则与乘法法则
12.2排列与组合
12.3二项式定理与组合恒等式
12.4多项式定理
习题12
第13章递推方程与生成函数
13.1递推方程的定义及实例
13.2递推方程的公式解法
13.3递推方程的其他解法
13.4生成函数及其应用
13.5指数生成函数及其应用
13.6Catalan数与Stirling数
习题13
第5部分图论
第14章图的基本概念
14.1图
14.2通路与回路
14.3图的连通性
14.4图的矩阵表示
14.5图的运算
习题14
第15章欧拉图与哈密顿图
15.1欧拉图
15.2哈密顿图
15.3最短路问题、中国邮递员问题与货郎担问题
习题15
第16章树
16.1无向树及其性质
16.2生成树
16.3根树及其应用
习题16
第17章平面图
17.1平面图的基本概念
17.2欧拉公式
17.3平面图的判断
17.4平面图的对偶图
习题17
第18章支配集、覆盖集、独立集、匹配与着色
18.1支配集、点覆盖集与点独立集
18.2边覆盖集与匹配
18.3二部图中的匹配
18.4点着色
18.5地图着色与平面图的点着色
18.6边着色
习题18
第6部分初等数论
第19章初等数论
19.1素数
19.2最大公约数与最小公倍数
19.3同余
19.4一次同余方程
19.5欧拉定理和费马小定理
19.6初等数论在计算机科学技术中的几个应用
习题19
名词与术语索引
符号注释
参考文献
· · · · · · (收起)
读后感
用户评价
我对这本《离散数学(第2版)》的评价是:它是一本“有温度”的硬核教材。我承认,离散数学本身是偏抽象的,但这本书的作者似乎非常理解初学者的困境。它在关键的转折点,总会穿插一些历史背景或者学科发展的小故事,这让冰冷的数学符号突然有了“人味儿”。比如,在介绍鸽巢原理时,它会提到更一般化的形式,并暗示这个看似简单的原理在现代密码学中的重要性,这种“前后呼应”的处理方式,极大地增强了我的学习动机。而且,这本书的参考资料部分做得非常专业,它列出的延伸阅读不仅仅是经典文献,还包括了一些最近几年发表在优秀期刊上的相关应用论文的引用,这对于希望继续深造或者进行研究的读者来说,提供了宝贵的线索。这本书绝非那种“用完即弃”的应试工具书,它更像是一本可以伴随你职业生涯成长的参考手册。无论你是为了通过某个核心课程考试,还是为了打下坚实的理论基础以应对未来的技术挑战,这本书都能提供稳定而可靠的支持。它的内容组织结构非常清晰,索引做得也非常好用,需要快速查阅某个定义或定理时,总能迅速定位,这对于高强度的学习和查阅来说,是极大的便利。
天呐,这本《离散数学(第2版)》简直是我的救命稻草!我一直觉得数学这块儿是我的软肋,尤其是在接触到一些更深层次的计算机科学理论时,那种抽象的逻辑和符号推导简直要让我抓狂。但是这本书的编排方式实在是太人性化了。它不是那种冷冰冰地堆砌定理和证明的教科书,而是真的花了很多篇幅在“铺垫”和“解释直觉”上。比如,它在讲解集合论的基础时,没有直接扔给我们那些复杂的公理系统,而是通过大量的、贴近生活的例子来构建我们对“什么是集合”、“什么是函数”的基本理解。我记得有一次,我被图论里的连通性和割点问题卡住了好几天,感觉脑子像一团乱麻。翻到这本书里关于图的章节,作者居然用了一个很生动的比喻,把网络节点比作城市里的交叉路口,把边比作道路,一下子就清晰了!那种豁然开朗的感觉,真的太美妙了。而且,书中的习题设计也很有层次感,从基础的计算练习到需要深入思考的证明题,难度梯度把握得恰到好处,让我感觉每解开一道题,我的“数学肌肉”就得到了一次有效的锻炼。对于我这种需要靠自学来啃下离散数学这块硬骨头的学生来说,这种循序渐进的引导比什么都重要。强烈推荐给所有觉得离散数学枯燥乏味的朋友们,它真的能改变你的看法。
说实话,我最初拿到这本《离散数学(第2版)》的时候,心里是有点犯嘀咕的,因为市面上关于这个主题的书籍已经非常多了,总觉得“再出新版”的意义何在?然而,深入阅读后我发现,这“第2版”的修订是非常有价值的,尤其是在内容的现代化和对前沿技术的呼应上。它不仅仅是修正了前一版的笔误,更重要的是,它将很多新兴的计算思维和算法设计融入了基础理论的讲解中。举个例子,在谈到递归和归纳法时,它不再仅仅停留在数学归纳式本身,而是巧妙地穿插了动态规划的思想,让我明白了为什么我们需要掌握这种思维模式,它在解决优化问题中的强大威力。另外,逻辑部分的处理也比我预想的要深刻。它没有满足于停留在命题逻辑和一阶谓词逻辑的表面介绍,而是深入探讨了如何用这些工具来形式化地描述程序规范和验证算法的正确性,这对于一个正在学习软件工程的工科生来说,简直是醍醐灌顶。这本书的排版和图示也值得称赞,很多抽象的概念,比如关系上的偏序、等价关系,都配有清晰的哈斯图或者Venn图,视觉上极大地降低了理解的门槛。它更像是一本工具书,一本能引导你思考如何用数学语言精确表达世界的指南。
我必须得吐槽一下很多传统数学教材那种僵硬的叙述方式,它们仿佛在假设读者已经拥有了某种“数学直觉”,直接跳到定义和定理,让人摸不着头脑。但《离散数学(第2版)》在这方面做得相当出色,它展现出一种“对话式”的教学态度。作者好像坐在你身边,耐心地跟你解释为什么某些概念是必要的。我特别欣赏它对计数原理的处理。比如,在讲解容斥原理的时候,它不是直接给出一个复杂的公式然后让你硬背,而是通过一个非常具体且略带迷惑性的例子——比如分派信件给邮递员——一步步引导我们去发现“重复减去”和“再加回”的必要性。这种引导式的推导过程,让我真正理解了原理背后的逻辑结构,而不是简单地记住了公式的皮毛。而且,这本书的习题后面的“思考题”部分,设计得非常巧妙,它们往往不是为了考察你是否会计算,而是为了激发你对该理论更深层次的应用的思考。我甚至发现,书中的一些例子,比如关于状态转移的讨论,其实已经触及到了有限自动机和正则表达式的基础,这为我后续学习编译原理打下了非常坚实的理论基础。这本书的价值,就在于它搭建了“纯数学”与“应用计算”之间的坚实桥梁。
这本书的深度和广度是毋庸置疑的,但最让我感到惊喜的是它在细节处理上的严谨性与清晰度。我是一个对数学术语的精确性有很高要求的读者,很多教材在定义某个概念时总是模棱两可,但在《离散数学(第2版)》中,每一个符号的引入、每一个逻辑连接词的用法,都被界定得清清楚楚,这在处理复杂的数学证明时避免了极大的歧义。尤其是关于“函数”的章节,它对单射、满射、双射的区分,以及像“可数无限集”和“不可数无限集”的讨论,都处理得极其到位。作者没有回避康托尔对角线法的复杂性,而是用非常细致的步骤将其分解,使得即便是初次接触这种反直觉概念的读者也能把握住其精髓。此外,书中对算法复杂度的初步引入,虽然篇幅不多,但点到了要害,让我意识到离散数学知识的应用并非仅仅停留在纸面上,它直接关系到我们设计程序时的效率考量。总而言之,这本书的每一页都充满了数学的精确美感,阅读它就像是在进行一次严谨且充满收获的智力探险。
跟着北大120集的公开课看的,不过这最新版怎么还删减了??比如集簇,自然数都没有。呵呵最讨厌知识阉割了
数学给人的安全感是无与伦比的。
数学给人的安全感是无与伦比的。
我呸
有些地方写的确实很不好理解,不够通俗易懂,需要反复看才get到它想表达的意思。