像 ぞう 这样的 てき 图 是 ぜ 离散数学 すうがく 的 てき 研究 けんきゅう 对象之 の 一 いち ,它们拥有有 ゆう 趣 おもむき 的 てき 数学 すうがく 性 せい 质 ,可 か 以作为现实世界 かい 用 よう 来 らい 解 かい 决问题的模型 もけい ,而且还在计算机 つくえ 算法 さんぽう 开发中有 ちゅうう 着 ぎ 举足轻重的 てき 作用 さよう 。
离散数学 すうがく (英語 えいご :Discrete mathematics )是 これ 数学 すうがく 的 てき 几个分 ぶん 支 ささえ 的 てき 总称,研究 けんきゅう 基 もと 于离散空 そら 间 而不是 ぜ 连续 的 てき 数学 すうがく 结构。与 あずか 連續 れんぞく 变化的 てき 实数 不同 ふどう ,离散数学 すうがく 的 てき 研究 けんきゅう 对象——例 れい 如整数 せいすう 、图 和 わ 数学 すうがく 逻辑中 なか 的 てき 命 いのち 题[1] ——不 ふ 是 ぜ 連續 れんぞく 变化的 てき ,而是拥有不等 ふとう 、分立 ぶんりつ 的 てき 值。[2] 因 いん 此离散数学 すうがく 不 ふ 包含 ほうがん 微 ほろ 积分和 わ 分析 ぶんせき 等 ひとし 「连续数学 すうがく 」的 てき 内容 ないよう 。
离散对象经常可 か 以用整数 せいすう 来 らい 枚 まい 举 。更 さら 一般 いっぱん 地 ち ,离散数学 すうがく 被 ひ 视为处理可 か 数 すう 集合 しゅうごう (与 あずか 整数 せいすう 子 こ 集 しゅう 基数 きすう 相 しょう 同 どう 的 てき 集合 しゅうごう ,包括 ほうかつ 有理数 ゆうりすう 集 しゅう 但 ただし 不 ふ 包括 ほうかつ 实数集 しゅう )的 てき 数学 すうがく 分 ぶん 支 ささえ 。[3] 但 ただし 是 ぜ ,“离散数学 すうがく ”不 ふ 存在 そんざい 准 じゅん 确且普遍 ふへん 认可的 てき 定 てい 义。[4] 实际上 じょう ,离散数学 すうがく 经常被 ひ 定 てい 义为不 ふ 包含 ほうがん 连续变化量 りょう 及相关概念的 がいねんてき 数学 すうがく ,甚少被 ひ 定 てい 义为包含 ほうがん 什么内容 ないよう 的 てき 数学 すうがく 。
离散数学 すうがく 中 ちゅう 的 てき 对象集合 しゅうごう 可 か 以是有限 ゆうげん 或 ある 者 もの 是 ぜ 无限的 てき 。有限 ゆうげん 数学 すうがく 一词通常指代离散数学处理有限集合的那些部分,特 とく 别是在 ざい 与 あずか 商 しょう 业相关的领域。
隨 ずい 著 ちょ 電腦 でんのう 科學 かがく 的 てき 飛 ひ 速 そく 發展 はってん ,離散 りさん 數學 すうがく 的 てき 重要 じゅうよう 性 せい 則 のり 日 び 益 えき 彰 あきら 顯 あらわ 。它為許多 きょた 資 し 訊科學 かがく 課程 かてい 提供 ていきょう 了 りょう 數學 すうがく 基礎 きそ ,包括 ほうかつ 数 すう 据 すえ 結構 けっこう 、演算 えんざん 法 ほう 、数 かず 据 すえ 库理論 ろん 、形式 けいしき 語 ご 言 げん 與 あずか 作業 さぎょう 系統 けいとう 等 とう 。如果沒 ぼつ 有 ゆう 離散 りさん 數學 すうがく 的 てき 相關 そうかん 數學 すうがく 基礎 きそ ,學生 がくせい 在 ざい 學習 がくしゅう 上述 じょうじゅつ 課程 かてい 中 ちゅう ,便 びん 會 かい 遇 ぐう 到 いた 較多的 てき 困難 こんなん 。此外,離散 りさん 數學 すうがく 也包含 ほうがん 了 りょう 解決 かいけつ 作業 さぎょう 研究 けんきゅう 、化學 かがく 、工程 こうてい 學 がく 、生物 せいぶつ 學 がく 等 とう 眾多領域 りょういき 的 てき 數學 すうがく 背景 はいけい 。由 よし 於運算 うんざん 對象 たいしょう 是 ぜ 離散 りさん 的 てき ,所以 ゆえん 電腦 でんのう 科學 かがく 的 てき 數學 すうがく 基礎 きそ 基本 きほん 上 じょう 也是離散 りさん 的 てき 。我 わが 們可以說電腦 でんのう 科學 かがく 的 てき 數學 すうがく 語 ご 言 げん 就是離散 りさん 數學 すうがく 。人 ひと 們會使用 しよう 離散 りさん 數學 すうがく 裡 うら 面 めん 的 てき 槪念和 わ 表示 ひょうじ 方法 ほうほう ,來 らい 研究 けんきゅう 和 わ 描述電腦 でんのう 科學 かがく 下 か 所有 しょゆう 分 ぶん 支 ささえ 的 てき 對象 たいしょう 和 わ 問題 もんだい ,如電 じょでん 腦 のう 運算 うんざん 、编程語 ご 言 げん 、密 みつ 碼學 、自動 じどう 定理 ていり 証明 しょうめい 和 わ 軟件開發 かいはつ 等 ひとし 。相反 あいはん 地 ち ,计算机 つくえ 的 てき 應用 おうよう 使 し 離散 りさん 數學 すうがく 的 てき 概念 がいねん 得 とく 以應用 おうよう 於日常 にちじょう 生活 せいかつ 當 とう 中 ちゅう (如運 うん 籌學 )。
虽然离散数学 すうがく 的 てき 主要 しゅよう 研究 けんきゅう 对象是 ぜ 离散对象,但 ただし 是 ぜ 连续数学 すうがく 的 てき 分析 ぶんせき 方法 ほうほう 往往 おうおう 也可以采用 よう 。数 かず 论 就是离散和 わ 连续数学 すうがく 的 てき 交叉 こうさ 学科 がっか 。同 どう 样的,有限 ゆうげん 拓 ひらけ 扑 (对有限 げん 拓 つぶせ 扑空间的研究 けんきゅう )从字面 めん 上 じょう 可 か 看 み 作 づく 离散化 か 和 わ 拓 つぶせ 扑的 てき 交集。
在 ざい 图论 领域中 ちゅう ,大量 たいりょう 研究 けんきゅう 的 てき 动机是 ぜ 企 くわだて 图证明 あきら 在 ざい 对所有 しょゆう 的 てき 地 ち 图,譬 たとえ 如说此图,可 か 以用不 ふ 多 た 于四 よん 种颜色 しょく 上 うえ 色 しょく ,而且没 ぼつ 有 ゆう 任意 にんい 两个相 しょう 接 せっ 的 てき 区域 くいき 会 かい 是 ぜ 同色 どうしょく 。1976年 ねん ,肯尼斯·阿 おもね 佩尔 和 わ 沃尔夫 おっと 冈·哈肯 最 さい 终证明 あかり 了 りょう 四 よん 色 しょく 定理 ていり 。[5]
历史上 じょう ,离散数学 すうがく 涉 わたる 及了各 かく 个领域 いき 的 てき 一系列挑战性问题。在 ざい 图论 中 なか ,許多 きょた 的 てき 研究 けんきゅう 动机是 ぜ 來 き 自 じ 於嘗試 ためし 证明四 よん 色 しょく 定理 ていり 。这些研究 けんきゅう 虽然从1852年 ねん 开始,但 ただし 是 ぜ 直 ちょく 至 いたり 1976年 ねん 四色定理才得到证明,是 ぜ 由 ゆかり 肯尼斯·阿 おもね 佩尔 (Kenneth Appel)和 わ 沃尔夫 おっと 冈·哈肯 (Wolfgang Haken)藉由大量 たいりょう 计算机 つくえ 辅助而完成 かんせい 的 てき 。[5]
在 ざい 逻辑 领域,大 だい 卫·希 まれ 尔伯特 とく (David Hilbert)於1900年 ねん 提出 ていしゅつ 的 てき 公 おおやけ 开问题清单的第 だい 二个问题是要证明算术的公理 こうり 是 これ 一致 いっち 的 てき 。1931年 ねん ,库尔特 とく ·哥德尔 的 てき 第 だい 二 に 不 ふ 完 かん 备定理 ていり 证明这是不可能 ふかのう 的 てき ——至 いたり 少 しょう 算 さん 术本身 ほんみ 不可能 ふかのう 。大 だい 卫·希 まれ 尔伯特 とく 的 てき 第 だい 十个问题是要确定某一整系数多项式丢番图方程 ほど 是 ぜ 否 ひ 有 ゆう 一 いち 个整数 すう 解 かい 。1970年 ねん ,尤 ゆう 里 さと ·马季亚谢维奇 证明这不可能 ふかのう 做到。
第 だい 二 に 次 じ 世界 せかい 大戰 たいせん 時 とき 盟 めい 軍 ぐん 有 ゆう 破 やぶ 解 かい 納 おさめ 粹 いき 德 とく 軍 ぐん 密 みつ 碼的需要 じゅよう ,帶 おび 動 どう 了 りょう 密 みつ 碼學和 わ 理論 りろん 計算 けいさん 機 き 科學 かがく 的 てき 發展 はってん 。英國 えいこく 的 てき 布 ぬの 萊切利 り 園 えん 因 いん 而發明 はつめい 出 で 第 だい 一部 いちぶ 數 すう 位 い 電子 でんし 計算 けいさん 機 き ——巨 きょ 像 ぞう 電腦 でんのう 。與 あずか 此同時 じ ,軍事 ぐんじ 上 じょう 的 てき 需求亦 また 帶 おび 動 どう 了 りょう 運 うん 籌學的 てき 發展 はってん 。直 ちょく 至 いたり 冷戰 れいせん 時期 じき ,密 みつ 碼學的 てき 地位 ちい 依然 いぜん 重要 じゅうよう ,其後的 てき 幾 いく 十 じゅう 年間 ねんかん 更 さら 發展 はってん 出 で 如公開 こうかい 密 みつ 鑰加密 みつ 等 とう 根本 こんぽん 性的 せいてき 長 ちょう 進 しん 。隨 ずい 著 ちょ 1950年代 ねんだい 關 せき 鍵 かぎ 路 ろ 徑 みち 方法 ほうほう 的 てき 創立 そうりつ ,運 うん 籌學則 がくそく 於商業 しょうぎょう 和 わ 項目 こうもく 管理 かんり 上 うえ 愈 いよいよ 趨重要 じゅうよう 。電 でん 訊工業 こうぎょう 的 てき 出現 しゅつげん 亦 また 助長 じょちょう 了 りょう 離散 りさん 數學 すうがく ,特別 とくべつ 是 ぜ 圖 ず 論 ろん 和 わ 信 しん 息 いき 論 ろん 上 うえ 的 てき 發展 はってん 。數理 すうり 邏輯上 うえ 敍述 じょじゅつ 的 てき 形式 けいしき 驗 けん 證 しょう 至 いたり 今 いま 已 やめ 經 けい 成 なり 為 ため 安全 あんぜん 關 せき 鍵 かぎ 系統 けいとう 的 てき 軟件開發 かいはつ 中 ちゅう 必不可 ふか 少 しょう 的 てき 一環 いっかん ,自動 じどう 定理 ていり 證明 しょうめい 的 てき 技術 ぎじゅつ 也因此而提 ひさげ 高 だか 。
当今 とうこん ,理論 りろん 計算 けいさん 機 き 科學 かがく 中 ちゅう 最 さい 著名 ちょめい 的 てき 开放问题之 の 一 いち 是 ぜ P/NP问题 ,P/NP问题中 ちゅう 包含 ほうがん 了 りょう 复杂度 ど 类 P 与 あずか NP 的 てき 关系。克 かつ 雷 かみなり 数学 すうがく 研究所 けんきゅうじょ 为此及其他 た 6个千禧年大奖难题 的 てき 第 だい 一个正确证明各悬赏100万 まん 美 び 元 もと 。[6]
主 しゅ 题[ 编辑 ]
"Wikipedia" ASCII 码的二 に 进制表示 ひょうじ 。编码技 わざ 术 为信 しん 息 いき 论 领域提供 ていきょう 了 りょう 一种表示语句和信息处理程 ほど 序 じょ 的 てき 途 と 径 みち 。
离散数学 すうがく 包含 ほうがん 几个不同 ふどう 的 てき 主 しゅ 题,列 れつ 举如下 か :
数理 すうり 逻辑[ 编辑 ]
逻辑是 ぜ 对有效 ゆうこう 推理 すいり 和 わ 推理 すいり 原 げん 则,及其连续性 せい 、合理 ごうり 性 せい 和 わ 完 かん 整 せい 性 せい 的 てき 研究 けんきゅう 。举一个简单的例子:在 ざい 大 だい 多数 たすう 逻辑系 けい 统中,皮 かわ 尔士定律 ていりつ (((P →Q )→P )→P )是正 ぜせい 确的,而且可 か 以简易 えき 地 ち 利用 りよう 真 ま 值表得 え 到 いた 证明。数学 すうがく 证明在 ざい 数理 すうり 逻辑中 ちゅう 十 じゅう 分 ふん 重要 じゅうよう ,而且在 ざい 自 じ 动定理 ていり 证明和 わ 软件开发 (如形式 けいしき 验证 )有 ゆう 广泛应用。
集合 しゅうごう 论[ 编辑 ]
集合 しゅうごう 论是研究 けんきゅう 集合 しゅうごう 的 てき 数学 すうがく 分 ぶん 支 ささえ 。集合 しゅうごう 是 ぜ 指 ゆび 一定对象的总和,例 れい 如:{蓝色,白色 はくしょく ,红色}是 ぜ 一 いち 个有限 ゆうげん 集合 しゅうごう ;所有 しょゆう 素数 そすう 组成一 いち 个无限集合 しゅうごう 。 偏 へん 序 じょ 关系和 かず 拥有其他关系 特 とく 征 せい 的 てき 集合 しゅうごう 在 ざい 多 た 个数学 がく 领域都 と 有 ゆう 应用。
信 しん 息 いき 论[ 编辑 ]
质数螺 にし 旋图 ,黑点 こくてん 为质数 すう 。
信 しん 息 いき 论涉及信 しん 息 いき 量 りょう 化 か 。与 あずか 此密切 きり 相 しょう 关的编码理 り 论 则用来 らい 设计高 だか 效 こう 可 か 靠 もたれ 的 てき 数 すう 据 すえ 传输和 わ 数 すう 据 すえ 储存方法 ほうほう 。
数 かず 论[ 编辑 ]
数 かず 论关注 ちゅう 普通 ふつう 数字 すうじ ,特 とく 别是整数 せいすう 的 てき 特性 とくせい 。数 かず 论在密 みつ 码学和 わ 密 みつ 码分析 ぶんせき 中有 ちゅうう 应用,特 とく 别是关于素数 そすう 和 わ 素性 すじょう 测试方面 ほうめん 。在 ざい 解析 かいせき 数 すう 论中 なか ,也使用 しよう 连续数学 すうがく 的 てき 理 り 论。
组合数学 すうがく [ 编辑 ]
代数 だいすう 图论与 あずか 群 ぐん 论有 ゆう 着 ぎ 紧密联系。此截角四 よん 面體 めんてい 图与交错群 ぐん A 4 有 ゆう 关。
组合数学 すうがく 研究 けんきゅう 对象进行排列 はいれつ 或 ある 组合的 てき 途 と 径 みち ,包含 ほうがん 组合设计 (Combinatorial design)、计数组合 (enumerative combinatorics)、计数 、组合几何 (combinatorial geometry)、组合拓 つぶせ 扑 (Combinatorial topology)等 とう 主 しゅ 题。图论 是 ぜ 组合数学 すうがく 的 てき 重要 じゅうよう 部分 ぶぶん ,有 ゆう 很多实际应用。
在 ざい 组合分析 ぶんせき (analytic combinatorics)和 わ 代数 だいすう 图论 (algebraic graph theory)中也 ちゅうや 使用 しよう 连续数学 すうがく 的 てき 理 り 论,而且代数 だいすう 图论还与群 ぐん 论有 ゆう 着 ぎ 紧密联系。
图论是 ぜ 研究 けんきゅう 图 和 わ 网络 的 てき 数学 すうがく 分 ぶん 支 ささえ ,常 つね 被 ひ 认为包含 ほうがん 於组合 あい 数学 すうがく 中 ちゅう ,但 ただし 这一分支已经发展得足够庞大和有特点,并有自身 じしん 领域所 しょ 研究 けんきゅう 的 てき 问题,因 いん 此被视为一个独立的主题,在 ざい 数学 すうがく 和 わ 科学 かがく 的 てき 所有 しょゆう 领域都 と 有 ゆう 广泛的 てき 应用。例 れい 如:有名 ゆうめい 的 てき 七 なな 橋 きょう 問題 もんだい 。[7]
抽象 ちゅうしょう 代数 だいすう [ 编辑 ]
代数 だいすう 结构既 すんで 可 か 以是离散的 てき ,也可以是连续的 てき 。离散代数 だいすう 包括 ほうかつ 逻辑门 和 かず 编程中 ちゅう 使用 しよう 的 てき 逻辑代数 だいすう 、数 かず 据 すえ 库中 ちゅう 使用 しよう 的 てき 关系代数 だいすう 、代数 だいすう 编码理 り 论中重 なかしげ 要 かなめ 的 てき 离散有限 ゆうげん 群 ぐん 、环和域 いき 、形式 けいしき 语言理 り 论中的 てき 离散半 はん 群 ぐん 和 わ 幺半群 ぐん 。
理 り 论计算 さん 机 つくえ 科学 かがく [ 编辑 ]
复杂度 ど 研究 けんきゅう 程 ほど 序 じょ 耗费的 てき 时间,例 れい 如这个快速 かいそく 排 はい 序 じょ 程 ほど 序 じょ 。
离散数学 すうがく 充分 じゅうぶん 描述了 りょう 计算机 つくえ 科学 かがく 离散性 せい 的 てき 特 とく 点 てん 。
理 り 论计算 さん 机 つくえ 科学 かがく (Theoretical computer science)包含 ほうがん 离散数学 すうがく 计算的 てき 领域,并特别注重 おも 图论 和 わ 数理 すうり 逻辑 。理 り 论计算 さん 机 つくえ 科学 かがく 包括 ほうかつ 对计算数 さんすう 学 がく 结果的 てき 算法 さんぽう 研究 けんきゅう 。可算 かさん 性 せい 理 り 论研究 けんきゅう 那 な 些对象 ぞう 在原 ありはら 则上可 か 被 ひ 计算,和 かず 逻辑有 ゆう 密 みつ 切 きり 联系。而复杂性 せい 则研究 けんきゅう 计算耗费的 てき 时间,自 じ 动机理 り 论和 わ 形式 けいしき 语言理 り 论与复杂性 せい 紧密联系。计算几何 应用算法 さんぽう 解 かい 决几何 なん 问题,而计算机 つくえ 图像分析 ぶんせき 则是应用算法 さんぽう 在 ざい 计算机 つくえ 中 ちゅう 再 さい 现图像 ぞう 。
拓 つぶせ 扑学[ 编辑 ]
虽然拓 つぶせ 扑学是 ぜ 形式 けいしき 化 か 和 わ 一般 いっぱん 化 か 物体 ぶったい “连续形 がた 变”的 てき 直 ちょく 觉概念的 がいねんてき 研究 けんきゅう 领域,其也包含 ほうがん 很多离散主 ぬし 题,如拓 つぶせ 扑变换 时常取 と 离散值,组合拓 つぶせ 扑 、拓 つぶせ 扑图论 、拓 つぶせ 扑组合 あい 、计算拓 つぶせ 扑 、离散空 そら 间 、有限 ゆうげん 拓 ひらけ 扑空间等 とう 领域。
运筹学 がく [ 编辑 ]
像 ぞう 这样的 てき PERT 图提供 ていきょう 一 いち 个基于图论 的 てき 商 しょう 业管理 かんり 技 わざ 术。運 うん 籌學的 てき 研究 けんきゅう 為 ため 解決 かいけつ 一些商業上和其他範籌上實質的問題提供方法。這些問題 もんだい 包括 ほうかつ 如何 いか 分配 ぶんぱい 資源 しげん 以使利潤 りじゅん 增 ぞう 至 いたり 最高 さいこう 和 わ 如何 いか 為 ため 企劃 きかく 排 はい 程 ほど 使 つかい 風 ふう 險 けん 減 げん 至 いたり 最低 さいてい 等 とう 。運 うん 籌學的 てき 研究 けんきゅう 方向 ほうこう 包括 ほうかつ 線 せん 性 せい 規 ぶんまわし 劃 、最 さい 优化 、等 とう 候 こう 理論 りろん 、调度理 り 论 、网络理 り 论 ,和 わ 一些正在增加的其他方面。运筹学 がく 的 てき 内容 ないよう 也会涉 わたる 及一些连续主题,如连续时间马尔可 か 夫 おっと 过程 、连续时间鞅 、过程优化 以及连续混合 こんごう 控 ひかえ 制 せい 理 り 论 。
博 ひろし 弈论、决策论、效用 こうよう 理 り 论、社会 しゃかい 选择理 り 论[ 编辑 ]
合作 がっさく
背叛 はいはん
合作 がっさく
-1, -1
-10, 0
背叛 はいはん
0, -10
-5, -5
囚徒 しゅうと 困 こま 境 さかい 的 てき 支 ささえ 付 づけ 矩 のり 阵
博 ひろし 弈論用 よう 於處理 しょり 的 てき 問題 もんだい 比較 ひかく 複雜 ふくざつ ,通常 つうじょう 這些選擇 せんたく 成功 せいこう 與 あずか 否 いな 取 と 決 けつ 於其他人 たにん 的 てき 選擇 せんたく ,因 いん 此如何 なん 作 さく 最 さい 好 こう 出 で 一個最好的選擇比較複雜。连续对策甚至也是存在 そんざい 的 てき ,如微分 びぶん 博 はく 弈 。博 ひろし 弈論的 てき 主 しゅ 题包括 ほうかつ 拍 はく 卖理论和 わ 公平 こうへい 分配 ぶんぱい 博 はく 弈 。
决策论 是 ぜ 有 ゆう 关判定 はんてい 特定 とくてい 决策的 てき 价值、不 ふ 确定性 せい 、合理 ごうり 性 せい 以及最 さい 终能够确定 じょう 的 てき 最 さい 优决策 さく 的 てき 理 り 论。
效用 こうよう 理 り 论的 てき 研究 けんきゅう 内容 ないよう 是 ぜ 由 ゆかり 各 かく 种商品 しょうひん 和服 わふく 务评估相对经济 满足程度 ていど ,或 ある 是 ぜ 评估各 かく 种商品 しょうひん 和服 わふく 务的希求 ききゅう 程度 ていど 。
社会 しゃかい 选择理 り 论是 ぜ 关於投票 とうひょう 的 てき 理 り 论。更 さら 近似 きんじ 於谜题的有 ゆう 关投票 とうひょう 的 てき 问题是 ぜ 抽签问题 (Bertrand's ballot theorem)。
离散化 か [ 编辑 ]
离散化 か 关注将 はた 连续模型 もけい 或 ある 等式 とうしき 转化为离散形式 けいしき 的 てき 过程,通常 つうじょう 是 ぜ 基 もと 于简化 か 计算的 てき 目的 もくてき 。数 かず 值分析 ぶんせき 是 ぜ 离散化 か 一 いち 个重要 よう 实例。
连续数学 すうがく 的 てき 离散近似 きんじ [ 编辑 ]
计算几何 将 はた 计算机 つくえ 算法 さんぽう 应用於几何 物体 ぶったい 的 てき 描绘
很多的 てき 连续数学 すうがく 概念 がいねん 都 と 有 ゆう 离散数学 すうがく 的 てき 版本 はんぽん ,例 れい 如:
在 ざい 应用数学 すうがく 中 なか ,离散模型 もけい 是 これ 连续模型 もけい 的 てき 离散近似 きんじ 。在 ざい 离散模型 もけい 中 ちゅう ,离散方 かた 程 ほど 由 ゆかり 数 かず 据 すえ 确定。使用 しよう 递推关系 是 ぜ 这种建 けん 模 も 方式 ほうしき 的 てき 一般 いっぱん 方法 ほうほう 。
离散和 わ 连续混合 こんごう 数学 すうがく [ 编辑 ]
时标微 ほろ 积分 是 これ 差分 さぶん 方 かた 程 ほど 理 り 论与微分 びぶん 方 かた 程 ほど 理 り 论的统一,应用在 ざい 需要 じゅよう 建立 こんりゅう 离散和 わ 连续同 どう 步数 ほすう 据 すえ 模型 もけい 的 てき 领域。
参考 さんこう 文献 ぶんけん [ 编辑 ]
^ Richard Johnsonbaugh, Discrete Mathematics , Prentice Hall, 2008.
^ Weisstein, Eric W. (编). Discrete mathematics . at MathWorld --A Wolfram Web Resource. Wolfram Research, Inc. (英 えい 语) .
^ Norman L. Biggs , Discrete mathematics , Oxford University Press, 2002.
^ Brian Hopkins, Resources for Teaching Discrete Mathematics , Mathematical Association of America, 2008.
^ 5.0 5.1 Wilson, Robin , Four Colors Suffice, London: Penguin Books, 2002, ISBN 0-691-11533-8
^ 千禧年大奖难题 . 2000-05-24 [2008-01-12 ] . (原始 げんし 内容 ないよう 存 そん 档 于2008-01-08).
^ Graphs on Surfaces (页面存 そん 档备份 ,存 そん 于互联网档案 あん 馆 ), Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001
延伸 えんしん 阅读[ 编辑 ]
Norman L. Biggs, Discrete Mathematics 2nd ed. Oxford University Press. ISBN 978-0-19-850717-8 . Companion Web site: includes questions together with solutions .
Ronald Graham , Donald E. Knuth , Oren Patashnik , Concrete Mathematics
Richard Johnsonbaugh, Discrete Mathematics 6th ed. Macmillan. ISBN 978-0-13-045803-2 . Companion Web site: [1] (页面存 そん 档备份 ,存 そん 于互联网档案 あん 馆 )
Reinhard Klette and Azriel Rosenfeld. Digital Geometry . Morgan Kaufmann. 2004 [2020-05-25 ] . ISBN 1-55860-861-3 . (原始 げんし 内容 ないよう 存 そん 档于2021-02-10). Also on (digital) topology, graph theory, combinatorics, axiomatic systems.
Donald E. Knuth , The Art of Computer Programming
Kenneth H. Rosen, Handbook of Discrete and Combinatorial Mathematics CRC Press. ISBN 978-0-8493-0149-0 .
Kenneth H. Rosen, Discrete Mathematics and Its Applications 6th ed. McGraw Hill. ISBN 978-0-07-288008-3 . Companion Web site: http://highered.mcgraw-hill.com/sites/0072880082/information_center_view0/ (页面存 そん 档备份 ,存 そん 于互联网档案 あん 馆 )
Ralph P. Grimaldi , Discrete and Combinatorial Mathematics: An Applied Introduction 5th ed. Addison Wesley. ISBN 978-0-201-72634-3
C.L. Liu, Elements of Discrete Math
Neville Dean, Essence of Discrete Mathematics Prentice Hall. ISBN 978-0-13-345943-2 . Not as in depth as above texts, but a gentle intro.
Mathematics Archives, Discrete Mathematics links to syllabi, tutorials, programs, etc. http://archives.math.utk.edu/topics/discreteMath.html (页面存 そん 档备份 ,存 そん 于互联网档案 あん 馆 )
Jiří Matoušek & Jaroslav Nešetřil , Invitation to Discrete Mathematics , OUP.
外部 がいぶ 連結 れんけつ [ 编辑 ]