離散數學(xué)（第2版）/全國普通高等院校計算機專(zhuān)業(yè)精品規劃教材簡(jiǎn)介，目錄書(shū)摘
2019-10-25 14:11
來(lái)源：京東
作者：京東
離散數學(xué)（第2版）/全國普通高等院校計算機專(zhuān)業(yè)精品規劃教材
暫無(wú)報價(jià)
60+評論
97%好評
編輯推薦:
內容簡(jiǎn)介: 《離散數學(xué)（第2版）/全國普通高等院校計算機專(zhuān)業(yè)精品規劃教材》對2006年北京理工大學(xué)出版社出版的《離散數學(xué)》中的內容進(jìn)行了較多的調整與更新，并在相關(guān)章節增加了典型例題及解答，在語(yǔ)言文字方面做了進(jìn)一步加工處理，同時(shí)修正了原教材中的部分疏漏之處?！峨x散數學(xué)（第2版）/全國普通高等院校計算機專(zhuān)業(yè)精品規劃教材》介紹了離散數學(xué)的基本理論及方法，主要有命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集合論、關(guān)系、函數與集合的勢、圖、樹(shù)與有序樹(shù)、群與環(huán)、格與布爾代數等內容。
《離散數學(xué)（第2版）/全國普通高等院校計算機專(zhuān)業(yè)精品規劃教材》可作為高等院校計算機科學(xué)與技術(shù)及相關(guān)專(zhuān)業(yè)的教材，也可作為教師、研究生或軟件技術(shù)人員的參考書(shū)。
《離散數學(xué)（第2版）/全國普通高等院校計算機專(zhuān)業(yè)精品規劃教材》可作為高等院校計算機科學(xué)與技術(shù)及相關(guān)專(zhuān)業(yè)的教材，也可作為教師、研究生或軟件技術(shù)人員的參考書(shū)。
作者簡(jiǎn)介:
目錄:第1章 命題演算基礎
1.1 命題和聯(lián)結詞
1.1.1 命題
1.1.2 聯(lián)結詞
1.1.3 合式公式
1.2 真假性
1.2.1 解釋
1.2.2 等價(jià)公式
1.2.3 聯(lián)結詞的完備集
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 公理系統的推理過(guò)程
2.2 若干重要的導出規則
2.2.1 關(guān)于分離規則的討論
2.2.2 關(guān)于公理和定理的導出規則
2.3 命題演算的假設推理系統
2.3.1 假設推理系統的組成
2.3.2 假設推理系統的推理過(guò)程
2.3.3 額外假設推理法
2.4 命題演算的歸結推理法
2.4.1 歸結證明過(guò)程
2.4.2 歸結證明舉例._
2.5 典型例題及解答
第3章 謂詞演算基礎
3.1 個(gè)體和謂詞
3.1.1 個(gè)體
3.1.2 謂詞
3.2 函數項和量詞
3.2.1 函數項
3.2.2 量詞
3.3 自由變元和約束變元
3.3.1 自由出現和約束出現
3.3.2 改名和代入
3.4 永真性和可滿(mǎn)足性
3.4.1 真假性
3.4.2 同真假性、永真性和可滿(mǎn)足性
3.4.3 范式
3.5 唯一性量詞和摹狀詞
3.5.1 唯一性量詞
3.5.2 摹狀詞
3.6 典型例題及解答
第4章 謂詞演算的推理理論
4.1 謂詞演算的永真推理系統
4.1.1 公理系統的組成部分
4.1.2 公理系統的推理過(guò)程
4.2 謂詞演算的假設推理系統
4.2.1 假設推理系統的組成及證明方法
4.2.2 定理的推導過(guò)程
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章 關(guān)系
第8章 函數與集合的勢
第9章 圖
第10章 樹(shù)與有序樹(shù)
第11章 群和環(huán)
第12章 格與布爾代數
1.1 命題和聯(lián)結詞
1.1.1 命題
1.1.2 聯(lián)結詞
1.1.3 合式公式
1.2 真假性
1.2.1 解釋
1.2.2 等價(jià)公式
1.2.3 聯(lián)結詞的完備集
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 公理系統的推理過(guò)程
2.2 若干重要的導出規則
2.2.1 關(guān)于分離規則的討論
2.2.2 關(guān)于公理和定理的導出規則
2.3 命題演算的假設推理系統
2.3.1 假設推理系統的組成
2.3.2 假設推理系統的推理過(guò)程
2.3.3 額外假設推理法
2.4 命題演算的歸結推理法
2.4.1 歸結證明過(guò)程
2.4.2 歸結證明舉例._
2.5 典型例題及解答
第3章 謂詞演算基礎
3.1 個(gè)體和謂詞
3.1.1 個(gè)體
3.1.2 謂詞
3.2 函數項和量詞
3.2.1 函數項
3.2.2 量詞
3.3 自由變元和約束變元
3.3.1 自由出現和約束出現
3.3.2 改名和代入
3.4 永真性和可滿(mǎn)足性
3.4.1 真假性
3.4.2 同真假性、永真性和可滿(mǎn)足性
3.4.3 范式
3.5 唯一性量詞和摹狀詞
3.5.1 唯一性量詞
3.5.2 摹狀詞
3.6 典型例題及解答
第4章 謂詞演算的推理理論
4.1 謂詞演算的永真推理系統
4.1.1 公理系統的組成部分
4.1.2 公理系統的推理過(guò)程
4.2 謂詞演算的假設推理系統
4.2.1 假設推理系統的組成及證明方法
4.2.2 定理的推導過(guò)程
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章 關(guān)系
第8章 函數與集合的勢
第9章 圖
第10章 樹(shù)與有序樹(shù)
第11章 群和環(huán)
第12章 格與布爾代數
相關(guān)商品
京公網(wǎng)安備 11000002000088號
