☆☆☆☆☆




點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

　　《離散數學（第2版）/全國普通高等院校計算機專業精品規劃教材》對2006年北京理工大學齣版社齣版的《離散數學》中的內容進行瞭較多的調整與更新，並在相關章節增加瞭典型例題及解答，在語言文字方麵做瞭進一步加工處理，同時修正瞭原教材中的部分疏漏之處。《離散數學（第2版）/全國普通高等院校計算機專業精品規劃教材》介紹瞭離散數學的基本理論及方法，主要有命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集閤論、關係、函數與集閤的勢、圖、樹與有序樹、群與環、格與布爾代數等內容。
　　《離散數學（第2版）/全國普通高等院校計算機專業精品規劃教材》可作為高等院校計算機科學與技術及相關專業的教材，也可作為教師、研究生或軟件技術人員的參考書。

內頁插圖

目錄

第1章 命題演算基礎
1.1 命題和聯結詞
1.1.1 命題
1.1.2 聯結詞
1.1.3 閤式公式
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.3.3 霍恩子句邏輯程序
4.4 典型例題及解答

第5章 遞歸函數論
5.1 數論函數和數論謂詞
5.1.1 數論函數
5.1.2 數論謂詞和特徵函數
5.2 函數的構造
5.2.1 迭置法
5.2.2 算子法
5.2.3 原始遞歸函數

第6章 集閤
6.1 集閤的基本概念
6.1.1 集閤的定義
……
第7章 關係
第8章 函數與集閤的勢
第9章 圖
第10章 樹與有序樹
第11章 群和環
第12章 格與布爾代數

前言/序言

離散數學（第2版）/全國普通高等院校計算機專業精品規劃教材 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價

查看全網最低價