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

同類熱銷排行榜

最近瀏覽的商品

離散數學(微課版第2版高等學校電腦專業核心課名師精品系列教材)

  • 作者：編者:王慶先//顧小豐//王麗傑|責編:韋雅雪
  • 出版社：人民郵電
  • ISBN：9787115670076
  • 出版日期：2025/07/01
  • 裝幀：平裝
  • 頁數：341
人民幣：RMB 69.8 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書共10章，系統介紹了數理邏輯、集合與關係、圖論，以及代數系統與布爾代數中的基本概念、演算法、定理及其證明方法。本書不僅注重基本概念的描述，還特別注重闡述有關離散數學的證明方法及離散數學問題求解的演算法，並且舉出大量的應用實例，充分展示了離散數學在軟體工程和電腦科學與技術中的基礎作用與強大應用。
    本書體系嚴謹，內容豐富，與軟體工程和電腦科學與技術的理論與實踐密切結合。本書配有微課視頻、慕課視頻、助學助教平台等教輔資源。
    本書可作為高等學校電腦科學與技術、軟體工程及其他相關專業，特別是以互聯網和工業智能為核心的新工科專業（包括大數據、雲計算、人工智慧、區塊鏈、虛擬現實、智能科學與技術等專業）的「離散數學」課程教材，也可供從事相關專業工作的科技人員參考使用。
作者介紹
編者:王慶先//顧小豐//王麗傑|責編:韋雅雪
目錄
第1章  集合論
  本章思維導圖
  歷史人物
  1.1  集合的基本概念
    1.1.1  集合的表示
    1.1.2  集合與集合的關係
  1.2  幾個特殊集合
  1.3  集合的運算
  1.4  無限集
    1.4.1  可數集
    1.4.2  不可數集
  1.5  集合的應用
    1.5.1  集合的電腦表示
    1.5.2  計數問題
  1.6  習題
第2章  命題邏輯
  本章思維導圖
  歷史人物
  2.1  命題與命題聯結詞
    2.1.1  命題
    2.1.2  命題聯結詞
    2.1.3  自然語言的命題符號化
  2.2  命題公式
    2.2.1  命題公式的基本概念
    2.2.2  命題公式的解釋與真值表
  2.3  命題公式的等價演算
  2.4  公式的標準型——範式
    2.4.1  命題聯結詞的完備集
    2.4.2  析取範式和合取範式
    2.4.3  主合取範式和主析取範式
  2.5  命題邏輯的推理理論
    2.5.1  推理的基本概念
    2.5.2  推理有效性的判別方法
  2.6  命題邏輯的應用
    2.6.1  命題聯結詞的應用
    2.6.2  命題公式的應用
    2.6.3  範式的應用
    2.6.4  命題邏輯推理的應用
  2.7  習題
第3章  謂詞邏輯
  本章思維導圖
  歷史人物
  3.1  自然語言的謂詞符號化
    3.1.1  個體詞與謂詞
    3.1.2  量詞
  3.2  謂詞公式與解釋
    3.2.1  謂詞公式
    3.2.2  自由變元和約束變元
    3.2.3  謂詞公式的解釋
  3.3  謂詞公式的等價演算

  3.4  謂詞公式的標準型
    3.4.1  前束範式
    3.4.2  斯科倫範式
  3.5  謂詞邏輯的推理理論
    3.5.1  推理規則與推理定律
    3.5.2  推理有效性的判別方法
  3.6  謂詞邏輯的應用
    3.6.1  謂詞符號化的應用
    3.6.2  謂詞公式的應用
    3.6.3  謂詞邏輯推理的應用
  3.7  習題
第4章  二元關係
第5章  特殊關
第6章  圖
第7章  特殊圖
第8章  代數系統
第9章  群環域
第10章  格與布爾代數
參考文獻

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