幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

離散數學(高等學校電腦專業規劃教材)

  • 作者：編者:崔艷榮//黃艷娟
  • 出版社：清華大學
  • ISBN：9787302532736
  • 出版日期：2019/10/01
  • 裝幀：平裝
  • 頁數：314
人民幣：RMB 49 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書將離散數學分為數理邏輯、集合論、代數系統和圖論四個部分，系統地介紹了命題邏輯、謂詞邏輯、集合、關係、函數、代數結構、格與布爾代數、圖、特殊圖中有關的定義、定理及證明方法，並給出了離散數學中不同知識點在電腦科學中的應用。本書配有課後習題參考答案及電子教案。
    全書結構嚴謹，邏輯清晰，示例豐富，可以作為高等學校電腦大類各專業「離散數學」必修課教材，也可以作為其他相關專業「離散數學」課程教材，同時，還可以供從事電腦科學工作的科技人員閱讀與參考。
作者介紹
編者:崔艷榮//黃艷娟
目錄
第一篇  數理邏輯
  第1章  命題邏輯
    1.1  命題及其表示
      1.1.1  命題
      1.1.2  命題的表示
    1.2  聯結詞
      1.2.1  否定
      1.2.2  合取
      1.2.3  析取
      1.2.4  條件
      1.2.5  雙條件
    1.3  命題公式與翻譯
      1.3.1  命題公式
      1.3.2  翻譯
    1.4  真值表與等價式
      1.4.1  真值表
      1.4.2  等價式
    1.5  重言式、蘊含式與對偶式
      1.5.1  重言式
      1.5.2  蘊含式
      1.5.3  對偶式
    1.6  聯結詞的完備集
      1.6.1  不可兼析取
      1.6.2  條件的否定
      1.6.3  與非
      1.6.4  或非
      1.6.5  聯結詞的完備集
    1.7  命題公式的範式
      1.7.1  合取範式與析取範式
      1.7.2  主析取範式
      1.7.3  主合取範式
      1.7.4  主析取範式與主合取範式之間的聯繫
    1.8  推理理論
      1.8.1  有效結論與推理規則
      1.8.2  判斷有效結論的常用方法
    1.9  命題邏輯的應用
    1.10  本章總結
    1.11  本章習題
  第2章  謂詞邏輯
    2.1  謂詞的概念與表示
      2.1.1  謂詞的定義
      2.1.2  咒元謂詞
    2.2  命題函數與量詞
      2.2.1  命題函數
      2.2.2  量詞
    2.3  謂詞公式與翻譯
      2.3.1  謂詞公式
      2.3.2  謂詞公式的翻譯
    2.4  變元的約束
      2.4.1  約束變元與自由變元

      2.4.2  約束變元的換名與自由變元的代人
      2.4.3  有限論域客體變元的枚舉
    2.5  謂詞演算的等價式與蘊含式
      2.5.1  謂詞公式的賦值及分類
      2.5.2  謂詞演算的等價式
      2.5.3  謂詞演算的蘊含式
      2.5.4  多個量詞之間的等價關係與蘊含關係
    2.6  前束範式
    2.7  謂詞演算的推理理論
    2.8  本章總結
    2.9  本章習題
第二篇  集合論
  第3章  集合
    3.1  集合的概念和表示法
      3.1.1  集合的概念
      3.1.2  集合的表示
      3.1.3  特殊集合
      3.1.4  集合之間的關係
    3.2  集合的運算
    3.3  序偶與笛卡兒積
      3.3.1  序偶
      3.3.2  笛卡兒積
    3.4  包含排斥原理
    3.5  集合的劃分與覆蓋
    3.6  集合的應用
    3.7  本章總結
    3.8  本章習題
  第4章  關係
    4.1  關係的概念與表示
      4.1.1  關係的概念
      4.1.2  關係的表示
    4.2  關係的性質
      4.2.1  關係的幾種性質
      4.2.2  性質的判別
    4.3  複合關係和逆關係
      4.3.1  複合關係
      4.3.2  逆關係
    4.4  關係的閉包運算
      4.4.1  關係的閉包定義
      4.4.2  關係閉包運算的相關定理
    4.5  等價關係與等價類
      4.5.1  等價關係
      4.5.2  等價類
      4.5.3  商集
    4.6  相容關係
      4.6.1  相容關係及其表示
      4.6.2  相容類
      4.6.3  最大相容類
      4.6.4  完全覆蓋
    4.7  序關係

      4.7.1  偏序關係及其表示
      4.7.2  蓋住關係
      4.7.3  全序關係
      4.7.4  特殊元素
      4.7.5  良序集合
    4.8  關係的應用
    4.9  本章總結
    4.10  本章習題
  第5章  函數
    5.1  函數的概念
    5.2  幾種特殊的函數
    5.3  函數的運算（複合、逆函數）
      5.3.1  複合函數
      5.3.2  逆函數
    5.4  函數的應用
    5.5  本章總結
    5.6  本章習題
第三篇  代數系統
  第6章  代數結構
    6.1  代數系統引論
    6.2  基本運算及其性質
    6.3  半群與獨異點
    6.4  群與子群
    6.5  阿貝爾群與循環群
      6.5.1  阿貝爾群（交換群）
      6.5.2  循環群
    6.6  置換群
    6.7  陪集與拉格朗日定理
      6.7.1  陪集
      6.7.2  拉格朗日定理
    6.8  同構與同態
      6.8.1  同構
      6.8.2  同態
    6.9  環與域
      6.9.1  環
      6.9.2  域
    6.10  代數結構的應用
      6.10.1  計數問題
      6.10.2  群碼與糾錯碼
    6.11  本章總結
    6.12  本章習題
  第7章  格與布爾代數
    7.1  格的定義
    7.2  分配格
    7.3  有補格
    7.4  布爾代數
      7.4.1  布爾代數的一般概念
      7.4.2  子代數
      7.4.3  布爾同態與布爾同構
    7.5  布爾代數表達式

    7.6  格與布爾代數的應用
      7.6.1  布爾函數的表示法
      7.6.2  邏輯電路設計方法
      7.6.3  時序邏輯電路的設計
    7.7  本章總結
    7.8  本章習題
第四篇  圖論
  第8章  圖
    8.1  圖的基本概念
    8.2  路、迴路與連通性
      8.2.1  路與迴路
      8.2.2  無向圖的連通性
      8.2.3  有向圖的連通性
    8.3  圖的矩陣表示
      8.3.1  鄰接矩陣
      8.3.2  可達矩陣
      8.3.3  關聯矩陣
    8.4  圖的應用
      8.4.1  無向圖的應用
      8.4.2  有向圖的應用
      8.4.3  混合圖的應用
      8.4.4  一些特殊簡單圖及其應用
    8.5  本章總結
    8.6  本章習題
  第9章  特殊圖
    9.1  歐拉圖
    9.2  哈密爾頓圖
    9.3  平面圖
    9.4  對偶圖
    9.5  樹與根樹
      9.5.1  樹的概念
      9.5.2  生成樹
      9.5.3  根樹
    9.6  樹與根樹的應用
      9.6.1  最小生成樹
      9.6.2  最優樹
    9.7  本章總結
    9.8  本章習題
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032