離散數(shù)學教程/21世紀應用型本科計算機科學與技術(shù)專業(yè)規(guī)劃教材簡介，目錄書摘
2019-10-30 16:05
來源：京東
作者：京東
離散數(shù)學教程/21世紀應用型本科計算機科學與技術(shù)專業(yè)規(guī)劃教材
暫無報價
2評論
100%好評
編輯推薦:
內(nèi)容簡介: 《離散數(shù)學教程/21世紀應用型本科計算機科學與技術(shù)專業(yè)規(guī)劃教材》根據(jù)《計算機科學與技術(shù)發(fā)展戰(zhàn)略與專業(yè)規(guī)范（試行）》要求，按照《高等學校計算機科學與技術(shù)專業(yè)核心課程教學實施方案》中離散數(shù)學應用型教學實施方案來設計，分成10個章節(jié)，具體有集合論、關(guān)系、基本邏輯、計數(shù)、初等數(shù)論、圖論、群環(huán)域及格與布布代數(shù)等內(nèi)容，大約需要72-84學時。主要針對于綜合性大學、工程類院校的計算機科學與技術(shù)、軟件T程、信息科學、計算數(shù)學等專業(yè)的離散數(shù)學課程要求進行選材和編揲撰。
《離散數(shù)學教程/21世紀應用型本科計算機科學與技術(shù)專業(yè)規(guī)劃教材》可以作為普通高等學校計算機與技術(shù)專業(yè)的不同方向（如軟件工程、信息科學等）、計算數(shù)學等專業(yè)的本科離散教學教材，也可以供其他專業(yè)學生和科技人員閱讀參考。
《離散數(shù)學教程/21世紀應用型本科計算機科學與技術(shù)專業(yè)規(guī)劃教材》可以作為普通高等學校計算機與技術(shù)專業(yè)的不同方向（如軟件工程、信息科學等）、計算數(shù)學等專業(yè)的本科離散教學教材，也可以供其他專業(yè)學生和科技人員閱讀參考。
作者簡介:
目錄:第1章 集合論
1.1 集合的概念
1.1.1 集合
1.1.2 集合的表示
1.1.3 集合的包含關(guān)系
1.1.4 特殊集合
1.2 集合的運算
1.2.1 交、并、補的運算
1.2.2 交、并、補運算的性質(zhì)
1.2.3 其他運算及其性質(zhì)
1.2.4 利用集合的編碼表示運算
1.3 集合的歸納定義與歸納原理
1.3.1 集合的歸納定義
1.3.2 結(jié)構(gòu)歸納原理
習題1
第2章 關(guān)系
2.1 二元關(guān)系的概念
2.1.1 笛卡兒積
2.1.2 二元關(guān)系的概念
2.1.3 二元關(guān)系的表示
2.2 二元關(guān)系的性質(zhì)
2.2.1 二元關(guān)系的性質(zhì)概述
2.2.2 二元關(guān)系性質(zhì)的判斷方法
2.3 二元關(guān)系的運算
2.3.1 交、并、補的運算
2.3.2 逆運算和復合運算
2.3.3 投影、選擇、聯(lián)系運算
2.3.4 閉包
2.4 等價關(guān)系
2.4.1 等價關(guān)系概述
2.4.2 模m同余關(guān)系
2.4.3 等價關(guān)系與劃分
2.5 相容關(guān)系
2.5.1 相容關(guān)系概述
2.5.2 極大相容類
2.5.3 完全覆蓋
2.6 序關(guān)系
2.6.1 偏序關(guān)系
2.6.2 偏序集中具有特殊位置的元素
2.6.3 其他幾個序關(guān)系
2.7 函數(shù)
2.7.1 函數(shù)的概念
2.7.2 特殊的函數(shù)
2.7.3 函數(shù)的逆與復合
習題2
第3章 命題邏輯
3.1 命題
3.1.1 命題概述
3.1.2 聯(lián)結(jié)詞
3.1.3 命題公式
3.1.4 真值函數(shù)
3.1.5 全功能集
3.2 等值演算與范式
3.2.1 邏輯等價式與永真蘊含式
3.2.2 范式
3.3 邏輯推理
3.3.1 推理的形式結(jié)構(gòu)
3.3.2 推理系統(tǒng)
3.3.3 證明方法
3.4 例題與分析
習題3
第4章 謂詞邏輯
4.1 謂詞與量詞
4.1.1 個體詞和謂詞
4.1.2 量詞
4.2 謂詞邏輯公式及解釋
4.3 等價值蘊含式與前束范式
……
第5章 計數(shù)
第6章 初等數(shù)論
第7章 圖論基礎(chǔ)知識
第8章 幾種典型的圖和圖的應用
第9章 代數(shù)系統(tǒng)
第10章 格與布爾代數(shù)
1.1 集合的概念
1.1.1 集合
1.1.2 集合的表示
1.1.3 集合的包含關(guān)系
1.1.4 特殊集合
1.2 集合的運算
1.2.1 交、并、補的運算
1.2.2 交、并、補運算的性質(zhì)
1.2.3 其他運算及其性質(zhì)
1.2.4 利用集合的編碼表示運算
1.3 集合的歸納定義與歸納原理
1.3.1 集合的歸納定義
1.3.2 結(jié)構(gòu)歸納原理
習題1
第2章 關(guān)系
2.1 二元關(guān)系的概念
2.1.1 笛卡兒積
2.1.2 二元關(guān)系的概念
2.1.3 二元關(guān)系的表示
2.2 二元關(guān)系的性質(zhì)
2.2.1 二元關(guān)系的性質(zhì)概述
2.2.2 二元關(guān)系性質(zhì)的判斷方法
2.3 二元關(guān)系的運算
2.3.1 交、并、補的運算
2.3.2 逆運算和復合運算
2.3.3 投影、選擇、聯(lián)系運算
2.3.4 閉包
2.4 等價關(guān)系
2.4.1 等價關(guān)系概述
2.4.2 模m同余關(guān)系
2.4.3 等價關(guān)系與劃分
2.5 相容關(guān)系
2.5.1 相容關(guān)系概述
2.5.2 極大相容類
2.5.3 完全覆蓋
2.6 序關(guān)系
2.6.1 偏序關(guān)系
2.6.2 偏序集中具有特殊位置的元素
2.6.3 其他幾個序關(guān)系
2.7 函數(shù)
2.7.1 函數(shù)的概念
2.7.2 特殊的函數(shù)
2.7.3 函數(shù)的逆與復合
習題2
第3章 命題邏輯
3.1 命題
3.1.1 命題概述
3.1.2 聯(lián)結(jié)詞
3.1.3 命題公式
3.1.4 真值函數(shù)
3.1.5 全功能集
3.2 等值演算與范式
3.2.1 邏輯等價式與永真蘊含式
3.2.2 范式
3.3 邏輯推理
3.3.1 推理的形式結(jié)構(gòu)
3.3.2 推理系統(tǒng)
3.3.3 證明方法
3.4 例題與分析
習題3
第4章 謂詞邏輯
4.1 謂詞與量詞
4.1.1 個體詞和謂詞
4.1.2 量詞
4.2 謂詞邏輯公式及解釋
4.3 等價值蘊含式與前束范式
……
第5章 計數(shù)
第6章 初等數(shù)論
第7章 圖論基礎(chǔ)知識
第8章 幾種典型的圖和圖的應用
第9章 代數(shù)系統(tǒng)
第10章 格與布爾代數(shù)
京公網(wǎng)安備 11000002000088號
