幫助中心 | 我的帳號 | 關於我們

離散數學導論(第5版面向工程教育的本科電腦類專業系列教材)

  • 作者:編者:徐潔磐
  • 出版社:高等教育
  • ISBN:9787040466676
  • 出版日期:2016/12/01
  • 裝幀:平裝
  • 頁數:274
人民幣:RMB 30 元      售價:
放入購物車
加入收藏夾

內容大鋼
    徐潔磐著的《離散數學導論》是1982年問世的《離散數學導論》的第5版,本版基本上保持原第4版的風格與內容,並作了一定的修改,使內容更為簡潔,難度更為降低,重點更為突出,學科體系性更為加強。
    本版由六篇14章組成,內容包括緒言、集合論、代數系統、圖論、數理邏輯及離散建模等,適合54?72學時的教學需要。
    本教材的特色是:內容少而精、深入淺出、學以致用,突出學科體系。在本版教材中引入了數字課程資源,使得教材內容更為豐富。
    本書可作為高等院校電腦有關專業本科「離散數學」課程的教材或參考書,也可供從事電腦工作的科研人員、工程技術人員以及其他有關人員參考。本教材並配有相應的輔導教材《離散數學導論(第5版)學習指導與習題解析》及電子教案等。

作者介紹
編者:徐潔磐

目錄
第一篇  離散數學概論
第二篇  集合論
  第1章  集合論基礎
    1.1  集合的基本概念
    1.2  集合運算
    1.3  冪集
    習題
  第2章  關係
    2.1  關係的預備知識——n元有序組與笛卡兒乘積
    2.2  關係的基本概念
    2.3  關係的運算
    2.4  關係的五個重要性質
    2.5  關係上的閉包運算
    2.6  次序關係
    2.7  相容關係
    2.8  等價關係
    習題
  第3章  函數
    3.1  函數的基本概念
    3.2  複合函數、反函數、多元函數
    *3.3  常用函數介紹
    習題
  第4章  有限集與無限集
    4.1  有限集與無限集基本概念
    *4.2  有限集
    4.3  無限集的性質
    習題
  第二篇複習指導
  第二篇總複習題
第三篇  代數系統
  第5章  代數系統基礎
    5.1  代數系統的基本概念
    5.2  代數系統九個基本性質
    5.3  同構與同態
    5.4  代數系統分類
    習題
  第6章  群論
    6.1  群的基本概念
    6.2  變換群
    6.3  有限群
    6.4  循環群
    6.5  子群
    6.6  正規子群
    習題
  第7章  環論、格論與布爾代數
    *7.1  環論
    7.2  格論與布爾代數
    習題
  第三篇複習指導
  第三篇總複習題

第四篇  圖論
  第8章  圖論原理
    8.1  圖的基本概念
    8.2  通路、迴路與連通性
    8.3  圖的矩陣表示法
    習題
  第9章  常用圖——樹與歐拉圖
    9.1  樹的基本性質
    9.2  有向樹
    9.3  二元樹
    9.4  生成樹
    9.5  歐拉圖
    習題
  第四篇複習指導
  第四篇總複習題
第五篇  數理邏輯
  第10章  命題邏輯
    10.1  命題與命題聯結詞
    10.2  命題變元與命題公式
    10.3  重言式
    10.4  命題邏輯的基本等式及等式推理
    10.5  命題邏輯的基本蘊涵式及蘊涵推理
    10.6  範式
    1O.7  命題聯結詞的擴充與歸約
    習題
  第11章  謂詞邏輯
    11.1  謂詞與個體
    11.2  量詞
    11.3  函數
    11.4  謂詞邏輯公式
    11.5  自由變元與約束變元
    11.6  謂詞邏輯的永真公式
    11.7  謂詞邏輯的等式推理
    11.8  謂詞邏輯的蘊涵推理
    11.9  謂詞邏輯範式
    習題
  第12章  數理邏輯的公理化理論
    12.1  公理化理論的基本思想
    12.2  命題邏輯、謂詞邏輯的公理化理論
    12.3  數理邏輯應用公理系統
    12.4  謂詞邏輯的自動定理證明
    習題
  第五篇複習指導
  第五篇總複習題
第六篇  離散建模
  第13章  離散建模概念與方法
    13.1  離散建模概念
    13.2  離散建模方法
    13.3  離散建模方法的五個步驟
    習題

  第14章  離散建模應用實例
    14.1  數字邏輯電路中的離散建模
    14.2  電話線路故障影響分析中的離散建模
    14.3  資料庫中關係數據模型的離散建模
    14.4  操作系統中死鎖檢測的離散建模
    習題
  第六篇複習指導
  第六篇總複習題
附錄一  常用符號一覽表
附錄二  中英文名詞對照表
參考文獻

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們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