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

同類熱銷排行榜

最近瀏覽的商品

離散數學(第2版高等學校電腦專業系列教材)

  • 作者：編者:崔艷榮//邱林//黃艷娟|責編:龍啟銘
  • 出版社：清華大學
  • ISBN：9787302697541
  • 出版日期：2025/07/01
  • 裝幀：平裝
  • 頁數：332
人民幣：RMB 69 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書將離散數學分為數理邏輯、集合論、代數系統和圖論四部分，系統地介紹了命題邏輯、謂詞邏輯、集合、關係、函數、代數結構、格與布爾代數、圖、特殊圖中有關的定義、定理及證明方法，並給出了離散數學中不同知識點在電腦科學中的應用及上機實踐指導。本書配有課後習題參考答案及電子教案。
    本書結構嚴謹，邏輯清晰，示例豐富，可以作為高等學校電腦大類各專業「離散數學」必修課教材，也可以作為其他相關專業「離散數學」課程教材，還可以供從事電腦科學工作的科技人員及學生閱讀與參考。
作者介紹
編者:崔艷榮//邱林//黃艷娟|責編:龍啟銘
目錄
第一篇  數理邏輯
  第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  n元謂詞
    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  本章習題
……
第二篇  集合論
第三篇  代數系統
第四篇  圖論
參考文獻

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