離散數(shù)學(xué)（第2版）/全國(guó)普通高等院校計(jì)算機(jī)專業(yè)精品規(guī)劃教材簡(jiǎn)介，目錄書摘
2019-10-25 14:11
來源：京東
作者：京東
離散數(shù)學(xué)（第2版）/全國(guó)普通高等院校計(jì)算機(jī)專業(yè)精品規(guī)劃教材
暫無報(bào)價(jià)
60+評(píng)論
97%好評(píng)
編輯推薦:
內(nèi)容簡(jiǎn)介: 《離散數(shù)學(xué)（第2版）/全國(guó)普通高等院校計(jì)算機(jī)專業(yè)精品規(guī)劃教材》對(duì)2006年北京理工大學(xué)出版社出版的《離散數(shù)學(xué)》中的內(nèi)容進(jìn)行了較多的調(diào)整與更新，并在相關(guān)章節(jié)增加了典型例題及解答，在語言文字方面做了進(jìn)一步加工處理，同時(shí)修正了原教材中的部分疏漏之處。《離散數(shù)學(xué)（第2版）/全國(guó)普通高等院校計(jì)算機(jī)專業(yè)精品規(guī)劃教材》介紹了離散數(shù)學(xué)的基本理論及方法，主要有命題演算基礎(chǔ)、命題演算的推理理論、謂詞演算基礎(chǔ)、謂詞演算的推理理論、遞歸函數(shù)論、集合論、關(guān)系、函數(shù)與集合的勢(shì)、圖、樹與有序樹、群與環(huán)、格與布爾代數(shù)等內(nèi)容。
《離散數(shù)學(xué)（第2版）/全國(guó)普通高等院校計(jì)算機(jī)專業(yè)精品規(guī)劃教材》可作為高等院校計(jì)算機(jī)科學(xué)與技術(shù)及相關(guān)專業(yè)的教材，也可作為教師、研究生或軟件技術(shù)人員的參考書。
《離散數(shù)學(xué)（第2版）/全國(guó)普通高等院校計(jì)算機(jī)專業(yè)精品規(guī)劃教材》可作為高等院校計(jì)算機(jī)科學(xué)與技術(shù)及相關(guān)專業(yè)的教材，也可作為教師、研究生或軟件技術(shù)人員的參考書。
作者簡(jiǎn)介:
目錄:第1章 命題演算基礎(chǔ)
1.1 命題和聯(lián)結(jié)詞
1.1.1 命題
1.1.2 聯(lián)結(jié)詞
1.1.3 合式公式
1.2 真假性
1.2.1 解釋
1.2.2 等價(jià)公式
1.2.3 聯(lián)結(jié)詞的完備集
1.2.4 對(duì)偶式和內(nèi)否式
1.3 范式及其應(yīng)用
1.3.1 范式
1.3.2 主范式
1.3.3 范式的應(yīng)用
1.4 典型例題及解答
第2章 命題演算的推理理論
2.1 命題演算的公理系統(tǒng)
2.1.1 公理系統(tǒng)的組成部分
2.1.2 公理系統(tǒng)的推理過程
2.2 若干重要的導(dǎo)出規(guī)則
2.2.1 關(guān)于分離規(guī)則的討論
2.2.2 關(guān)于公理和定理的導(dǎo)出規(guī)則
2.3 命題演算的假設(shè)推理系統(tǒng)
2.3.1 假設(shè)推理系統(tǒng)的組成
2.3.2 假設(shè)推理系統(tǒng)的推理過程
2.3.3 額外假設(shè)推理法
2.4 命題演算的歸結(jié)推理法
2.4.1 歸結(jié)證明過程
2.4.2 歸結(jié)證明舉例._
2.5 典型例題及解答
第3章 謂詞演算基礎(chǔ)
3.1 個(gè)體和謂詞
3.1.1 個(gè)體
3.1.2 謂詞
3.2 函數(shù)項(xiàng)和量詞
3.2.1 函數(shù)項(xiàng)
3.2.2 量詞
3.3 自由變?cè)图s束變?cè)?
3.3.1 自由出現(xiàn)和約束出現(xiàn)
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 謂詞演算的永真推理系統(tǒng)
4.1.1 公理系統(tǒng)的組成部分
4.1.2 公理系統(tǒng)的推理過程
4.2 謂詞演算的假設(shè)推理系統(tǒng)
4.2.1 假設(shè)推理系統(tǒng)的組成及證明方法
4.2.2 定理的推導(dǎo)過程
4.3 謂詞演算的歸結(jié)推理系統(tǒng)
4.3.1 置換
4.3.2 歸結(jié)反演系統(tǒng)
4.3.3 霍恩子句邏輯程序
4.4 典型例題及解答
第5章 遞歸函數(shù)論
5.1 數(shù)論函數(shù)和數(shù)論謂詞
5.1.1 數(shù)論函數(shù)
5.1.2 數(shù)論謂詞和特征函數(shù)
5.2 函數(shù)的構(gòu)造
5.2.1 迭置法
5.2.2 算子法
5.2.3 原始遞歸函數(shù)
第6章 集合
6.1 集合的基本概念
6.1.1 集合的定義
……
第7章 關(guān)系
第8章 函數(shù)與集合的勢(shì)
第9章 圖
第10章 樹與有序樹
第11章 群和環(huán)
第12章 格與布爾代數(shù)
1.1 命題和聯(lián)結(jié)詞
1.1.1 命題
1.1.2 聯(lián)結(jié)詞
1.1.3 合式公式
1.2 真假性
1.2.1 解釋
1.2.2 等價(jià)公式
1.2.3 聯(lián)結(jié)詞的完備集
1.2.4 對(duì)偶式和內(nèi)否式
1.3 范式及其應(yīng)用
1.3.1 范式
1.3.2 主范式
1.3.3 范式的應(yīng)用
1.4 典型例題及解答
第2章 命題演算的推理理論
2.1 命題演算的公理系統(tǒng)
2.1.1 公理系統(tǒng)的組成部分
2.1.2 公理系統(tǒng)的推理過程
2.2 若干重要的導(dǎo)出規(guī)則
2.2.1 關(guān)于分離規(guī)則的討論
2.2.2 關(guān)于公理和定理的導(dǎo)出規(guī)則
2.3 命題演算的假設(shè)推理系統(tǒng)
2.3.1 假設(shè)推理系統(tǒng)的組成
2.3.2 假設(shè)推理系統(tǒng)的推理過程
2.3.3 額外假設(shè)推理法
2.4 命題演算的歸結(jié)推理法
2.4.1 歸結(jié)證明過程
2.4.2 歸結(jié)證明舉例._
2.5 典型例題及解答
第3章 謂詞演算基礎(chǔ)
3.1 個(gè)體和謂詞
3.1.1 個(gè)體
3.1.2 謂詞
3.2 函數(shù)項(xiàng)和量詞
3.2.1 函數(shù)項(xiàng)
3.2.2 量詞
3.3 自由變?cè)图s束變?cè)?
3.3.1 自由出現(xiàn)和約束出現(xiàn)
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 謂詞演算的永真推理系統(tǒng)
4.1.1 公理系統(tǒng)的組成部分
4.1.2 公理系統(tǒng)的推理過程
4.2 謂詞演算的假設(shè)推理系統(tǒng)
4.2.1 假設(shè)推理系統(tǒng)的組成及證明方法
4.2.2 定理的推導(dǎo)過程
4.3 謂詞演算的歸結(jié)推理系統(tǒng)
4.3.1 置換
4.3.2 歸結(jié)反演系統(tǒng)
4.3.3 霍恩子句邏輯程序
4.4 典型例題及解答
第5章 遞歸函數(shù)論
5.1 數(shù)論函數(shù)和數(shù)論謂詞
5.1.1 數(shù)論函數(shù)
5.1.2 數(shù)論謂詞和特征函數(shù)
5.2 函數(shù)的構(gòu)造
5.2.1 迭置法
5.2.2 算子法
5.2.3 原始遞歸函數(shù)
第6章 集合
6.1 集合的基本概念
6.1.1 集合的定義
……
第7章 關(guān)系
第8章 函數(shù)與集合的勢(shì)
第9章 圖
第10章 樹與有序樹
第11章 群和環(huán)
第12章 格與布爾代數(shù)
京公網(wǎng)安備 11000002000088號(hào)
