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

同類熱銷排行榜

最近瀏覽的商品

離散數學(微課版雙色印刷全國高等學校電腦教育研究會十四五系列教材)

  • 作者：編者:朱保平//金忠|責編:謝琛|總主編:鄭莉
  • 出版社：清華大學
  • ISBN：9787302653608
  • 出版日期：2024/01/01
  • 裝幀：平裝
  • 頁數：271
人民幣：RMB 59 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書是「全國高等學校電腦教育研究會『十四五』規劃教材」，較全面地介紹了離散數學的基本理論及基本方法。本書以離散數學課程的重要知識點為紐帶，夯實程序設計思路，拓展數據和關係的表示方法，強化從實例計算到模型計算和問題一形式化一自動化（電腦化）等方法，為後續的科學研究打下良好的基礎。全書由命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論，集合、關係、函數與集合的勢、圖論、樹和有序樹、群和環、格與布爾代數共12章組成。本書知識結構完整，內容豐富，不僅配備了符合教學目標的課後習題，還配備了重點章節的微課視頻，既方便教學，又方便自學。
    本書可作為高等院校電腦科學與技術及相關專業離散數學課程的教材，也可作為教師、研究生或軟體技術人員的參考書。
作者介紹
編者:朱保平//金忠|責編:謝琛|總主編:鄭莉
目錄
第1章  命題演算基礎
  1.1  命題和聯結詞
    1.1.1  命題
    1.1.2  聯結詞
    1.1.3  合式公式
    1.1.4  命題邏輯的應用
  1.2  真假性
    1.2.1  解釋
    1.2.2  等價公式
    1.2.3  聯結詞的完備集
    1.2.4  對偶式和內否式
  1.3  範式及其應用
    1.3.1  範式
    1.3.2  主範式
    1.3.3  範式的應用
  1.4  典型例題
  習題
第2章  命題演算的推理理論
  2.1  命題演算的公理系統
    2.1.1  公理系統的組成部分
    2.1.2  公理系統的推理過程
  2.2  若干重要的導出規則
    2.2.1  分離規則的討論
    2.2.2  公理和定理的導出規則
  2.3  命題演算的假設推理系統
    2.3.1  假沒推理系統的組成
    2.3.2  假設推理系統的推理過程
    2.3.3  額外假設推理法
  2.4  命題演算的歸結推理法
    2.4.1  歸結證明過程
    2.4.2  歸結證明示例
  2.5  典型例題
  習題
第3章  謂詞演算基礎
  3.1  個體和謂詞
    3.1.1  個體
    3.1.2  謂詞
  3.2  函數項和量詞
    3.2.1  函數項
    3.2.2  量詞
  3.3  自由變元和約束變元
    3.3.1  自由出現和約束出現
    3.3.2  改名和代入
  3.4  永真性和可滿足性
    3.4.1  真假性
    3.4.2  同真假性、永真性和可滿足性
    3.4.3  範式
  3.5  唯一性量詞和摹狀詞
    3.5.1  唯一性量詞
    3.5.2  摹狀詞

  3.6  典型例題
  習題
第4章  謂詞演算的推理理論
  4.1  謂詞演算的永真推理系統
    4.1.1  公理系統的組成部分
    4.1.2  公理系統的推理過程
  4.2  謂詞演算的假設推理系統
    4.2.1  假設推理系統的組成及證明方法
    4.2.2  定理的假設推導過程
  4.3  謂詞演算的歸結推理系統
    4.3.1  置換
    4.3.2  歸結反演系統
  4.4  霍恩子句邏輯程序
  4.5  Prolog簡介
  4.6  典型例題
  習題
第5章  遞歸函數輪
第6章  集合
第7章  關係
第8章  函數與集合的勢
第9章  圖論
第10章  樹和有序樹
第11章  群和環
第12章  格與布爾代數
參考文獻

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