同類熱銷排行榜

離散數學(高等學校軟體工程專業系列教材)

作者：編者:李暾//劉萬偉//毛曉光//陳立前|責編:黃芝//李燕
出版社：清華大學
ISBN：9787302682790

出版日期：2025/02/01
裝幀：平裝
頁數：299

人民幣：RMB 59.8 元售價：元

內容大鋼

本書在湖南省一流本科課程「離散數學」的基礎上，結合十幾年針對不同培養類型學生的教學實踐經驗編寫而成。全書共7章，系統介紹集合、關係、函數、命題邏輯、謂詞邏輯、自然推理系統，以及圖論的基本概念、定理、演算法和常用證明方法。本書不僅重視離散數學的基礎知識，還特別注重通過程序設計展示離散數學基本概念與基本演算法；不僅關注每一章知識的應用，還著重展示多章節內容之間的關聯與綜合應用；不僅介紹離散數學問題基於基本概念與定理的解決方法，還重視這些解決方法的自動化問題。充分展示了離散數學在軟體工程和電腦科學與技術中的基礎作用和強大應用。
本書體系嚴謹，內容豐富，配有豐富的習題與在線實訓。本書可作為計算學科各專業及其他相關專業的教材，也可作為從事相關專業的工程師和研究人員的參考書籍。

作者介紹

編者:李暾//劉萬偉//毛曉光//陳立前|責編:黃芝//李燕
李暾，男，博士，副教授，畢業於國防科技大學電腦科學與技術專業。長期從事電腦專業相關課程教學與研究工作，承擔了「大學電腦基礎」「電腦程序設計」「離散數學」「軟體體系結構與設計」等課程的授課任務。在微處理器設計驗證、衛星綜合電子系統等方面發表論文50余篇，他引160余次。在ACM頂級教學會議ITiCSE、《電腦教育》等會議和期刊發表教學論文10余篇。進入EI檢索3篇。

第1章  集合
  1.1  集合基礎
  1.2  集合運算
  1.3  自然數與歸納法
  1.4  笛卡兒乘積
  1.5  小結
第2章  關係
  2.1  關係基礎
  2.2  關係圖與關係矩陣
  2.3  關係的運算
    2.3.1  逆關係
    2.3.2  關係的合成
  2.4  關係的閉包
  2.5  相容關係
  2.6  等價關係
  2.7  序關係
  2.8  小結
第3章  函數
  3.1  函數基礎
  3.2  函數合成
  3.3  逆函數
  3.4  特徵函數
  3.5  序數
  3.6  基數
  3.7  小結
第4章  命題邏輯
  4.1  命題及符號化
  4.2  合式公式
  4.3  等價與蘊含
  4.4  範式與判定問題
  4.5  小結
第5章  謂詞邏輯
  5.1  符號化
  5.2  合式公式
  5.3  語義證明方法
  5.4  永真式判定
  5.5  小結
第6章  自然推理系統
  6.1  自然推理系統基礎
  6.2  常用證明策略與逆向分析方法
  6.3  綜合應用
  6.4  小結
第7章  圖論基礎
  7.1  圖的基本概念
  7.2  圖同構
  7.3  圖上漫遊
  7.4  特殊圖
  7.5  樹
    7.5.1  無向樹
    7.5.2  有向樹

  7.6  二部圖
  7.7  平面圖
  7.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

同類熱銷排行榜

最近瀏覽的商品

離散數學(高等學校軟體工程專業系列教材)