Name: 离散数学（第2版）
ISBN: 9787040419085

作者: 屈婉玲 / 耿素云 / 张立昂
出版社: 高等教育出版社
副标题: 第2版
出版年: 2015-3
页数: 402
定价: 41.10
装帧: 平装
ISBN: 9787040419085

豆瓣评分

5.6

88人评价

5星

12.5%
4星

10.2%
3星

33.0%
2星

13.6%
1星

30.7%

评价:

内容简介 · · · · · ·

本书是一版的基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论六个部分。全书既有严谨、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时选配了大量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。有与本书配套的电子教案与学习指导与习题解析。

本书可以作为普通高等学校计算机科学与技术专业、软件工程专业、计算机应用专业、信息与计算科学专业等本科生离散数学课程的教材，也可以供其他专业学生和科技人员阅读参考。

离散数学（第2版）的创作者 · · · · · ·

屈婉玲作者

作者简介 · · · · · ·

屈婉玲，1969年毕业于北京大学物理系物理专业，现为北京大学信息科学技术学院教授，博士生导师，中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析，发表论文20余篇，出版教材、教学参考书、译著20余本，其中包含多本国家级规划教材和北京市精品教材。所讲授的离散数学课程被评为国家精品课程，两次被评为北京大学十佳教师，并获得北京市优秀教师称号。曾主持过多项国家教材和课程建设项目，并获得北京市教育教学成果（高等教育）一等奖。

目录 · · · · · ·

第1部分数理逻辑
第1章命题逻辑的基本概念
1.1命题与联结词
1.2命题公式及其赋值
习题1
第2章命题逻辑等值演算
· · · · · · (更多)

原文摘录 · · · · · · ( 全部 )

(例 5.1 (2)) ∀x (F(x,y) → ∃yG(x,y,z)) ⇔ ∀x F(x,y,z) → ∃t G(x,y,z) (查看原文)

5+0 2020-01-19 17:00:15

—— 引自章节：5.1一阶逻辑等值式与置换规则
定理 10.15 (费马小定理) 如果 p 为素数, 则对所有 n≠0 (mod p) 有 n^{p-1}≡1 (mod p). 证明对于费马小定理有一个简单的组合证明. 考虑用 n 种颜色对具有 p 颗珠子的手镯进行着色. 这些珠子标记为 1, 2, …, p, 等距离地顺序排列在圆环上, 图 10.4 给出了 5 个珠子的一个实例. 令 θ=2π/p, 当手镯旋转的角度分别等于 θ, 2θ, …, pθ. 由于 p 是素数, 除了 pθ=2π 对应于恒等置换之外, 其他 p-1 个置换都由一个 p 阶轮换构成[a]. 根据 Polya 定理, 不同的着色方案数是 M = \frac{1}{p} [n^p + (p-1)n^1] = \frac{1}{p}(n^p-n) +n 因为 M 和 n 是正整数, 因此 n^p-n = n(n^{p-1}-1) 能被 p 整除[b], 即 n^{p-1} ≡ 1 (mod p) (查看原文)

5+0 2020-02-11 13:01:17

—— 引自章节：10.4环与域