離散數學-微課版朱保平金忠 9787302653608 【台灣高等教育出版社】

Name: 離散數學-微課版 朱保平 金忠 9787302653608 【台灣高等教育出版社】
Brand: abooksthep
Price: 375.0 TWD
Availability: InStock

圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：清華大學

NT$375

商品編號:

供貨狀況: 尚有庫存

加入最愛

商品介紹

*數量非實際在台庫存
*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為實際資訊。
印行年月：202401*若逾兩年請先於私訊洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：離散數學-微課版
ISBN：9787302653608
出版社：清華大學
著編譯者：朱保平金忠
頁數：271
所在地：中國大陸 *此為代購商品
書號：1620081
可大量預訂，請先連絡。

內容簡介

本書是「全國高等學校計算機教育研究會『十四五』規劃教材」，較全面地介紹了離散數學的基本理論及基本方法。本書以離散數學課程的重要知識點為紐帶，夯實程序設計思路，拓展數據和關係的表示方法，強化從實例計算到模型計算和問題一形式化一自動化（計算機化）等方法，為後續的科學研究打下良好的基礎。全書由命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論，集合、關係、函數與集合的勢、圖論、樹和有序樹、群和環、格與布爾代數共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章格與布爾代數
參考文獻
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。