同類熱銷排行榜

離散數學教程(第2版)

作者：編者:王元元//宋麗華//王兆麗//韓敬利
出版社：高等教育
ISBN：9787040512984

出版日期：2019/07/01
裝幀：平裝
頁數：386

人民幣：RMB 46 元售價：元

內容大鋼

    本書針對綜合性大學和工程類院校電腦類專業本科生進行選材與編撰，內容覆蓋ACM電腦科學課程體系規範2013（Computer Science Cur-ricula 2013）中離散結構知識領域下除離散概率之外的全部知識點。
    從離散結構形式化表示理論到各類離散結構及其數學模型的介紹，該書在內容組織上力求做到突出知識內在聯繫與保持知識模塊完整性之間的平衡，從而使教材更具可讀性和系統性。該書章節內容不僅覆蓋集合論、數理邏輯、組合論、圖論、可計算性、抽象代數等基礎理論部分，還給出了這些基本理論在粗糙集、模糊集、自動推理、智能搜索、加密技術等領域的應用，並涉及公理化集合論、數理邏輯形式系統、形式語言與自動機等相關理論。該書以離散結構為建模對象，緊密聯繫電腦科學技術，特彆強調應用能力、證明技術、計算思維的培養。
    為便於學生及時複習並鞏固所學知識，該書在每節后安排了大量習題；同時，為便於學有餘力的學生進一步深造，每章后安排了一節閱讀材料，以此來對本章所介紹的理論進行深入探討，或進一步介紹技術的相關應用。
    本書不僅可用作高等學校電腦類專業本科生的離散數學課程教材，也可供相關工程技術人員閱讀參考。

作者介紹

編者:王元元//宋麗華//王兆麗//韓敬利

第1章  邏輯代數（上）：命題演算
  1.1  邏輯聯結詞與命題公式
    1.1.1  命題
    1.1.2  邏輯聯結詞
    1.1.3  命題公式
    1.1.4  語句形式化
    練習1.1
  1.2  命題演算永真式
    1.2.1  重言式
    1.2.2  邏輯等價式與邏輯蘊涵式
    1.2.3  對偶原理
    1.2.4  邏輯應用
    練習1.2
  1.3  範式
    1.3.1  析取範式與合取範式
    1.3.2  主析取範式與主合取範式
    1.3.3  聯結詞的擴充與歸約
    練習1.3
  *1.4  命題演算消解原理
    練習1.4
  1.5  閱讀材料：布爾代數
第2章  邏輯代數（下）：謂詞演算
  2.1  謂詞演算基本概念
    2.1.1  個體
    2.1.2  謂詞
    2.1.3  量詞
    2.1.4  謂詞公式及語句形式化
    練習2.1
  2.2  謂詞演算永真式
    2.2.1  謂詞公式的語義
    2.2.2  幾組謂詞演算永真式
    2.2.3  謂詞公式等價變換的幾個基本原理
    練習2.2
  *2.3  謂詞演算消解原理
    2.3.1  前束化與消去量詞
    2.3.2  謂詞演算消解原理簡介
    練習2.3
  2.4  閱讀材料：形式推理與形式系統
    2.4.1  一個形式系統的例子
    2.4.2  自然推理形式系統ND
第3章  集合代數
  3.1  集合的概念與表示
    3.1.1  集合基本概念
    3.1.2  集合的表示
    3.1.3  外延性原理與子集合
    練習3.1
  3.2  集合運算
    3.2.1  並、交、差、補運算
    3.2.2  環和與環積運算
    3.2.3  冪集與廣義並、交運算

    練習3.2
  3.3  集合的笛卡兒積
  ……
第4章  計數
第5章  關係
第6章  函數
*第7章  可計算函數
第8章  圖與樹
第9章  特殊圖
第10章  代數結構通論
第11章  群、環、域
參考文獻

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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

同類熱銷排行榜

最近瀏覽的商品

離散數學教程(第2版)