永久免费观看美女裸体的网站,中出到高潮呻吟视频免费,,亚洲综合色区在线观看

2019-10-25 14:11 來源：京東作者：京東

離散數(shù)學(xué)（第2版）/全國普通高等院校計算機專業(yè)精品規(guī)劃教材

編輯推薦:

內(nèi)容簡介:　　《離散數(shù)學(xué)（第2版）/全國普通高等院校計算機專業(yè)精品規(guī)劃教材》對2006年北京理工大學(xué)出版社出版的《離散數(shù)學(xué)》中的內(nèi)容進行了較多的調(diào)整與更新，并在相關(guān)章節(jié)增加了典型例題及解答，在語言文字方面做了進一步加工處理，同時修正了原教材中的部分疏漏之處?！峨x散數(shù)學(xué)（第2版）/全國普通高等院校計算機專業(yè)精品規(guī)劃教材》介紹了離散數(shù)學(xué)的基本理論及方法，主要有命題演算基礎(chǔ)、命題演算的推理理論、謂詞演算基礎(chǔ)、謂詞演算的推理理論、遞歸函數(shù)論、集合論、關(guān)系、函數(shù)與集合的勢、圖、樹與有序樹、群與環(huán)、格與布爾代數(shù)等內(nèi)容。
　　《離散數(shù)學(xué)（第2版）/全國普通高等院校計算機專業(yè)精品規(guī)劃教材》可作為高等院校計算機科學(xué)與技術(shù)及相關(guān)專業(yè)的教材，也可作為教師、研究生或軟件技術(shù)人員的參考書。

作者簡介:

目錄:第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 等價公式
1.2.3 聯(lián)結(jié)詞的完備集
1.2.4 對偶式和內(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 個體和謂詞
3.1.1 個體
3.1.2 謂詞
3.2 函數(shù)項和量詞
3.2.1 函數(shù)項
3.2.2 量詞
3.3 自由變元和約束變元
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ù)與集合的勢
第9章圖
第10章樹與有序樹
第11章群和環(huán)
第12章格與布爾代數(shù)

相關(guān)商品