出版時(shí)間:2011-3 出版社:科學(xué)出版社 作者:楊圣洪 等編著 頁(yè)數(shù):147
內(nèi)容概要
《離散數(shù)學(xué)》結(jié)合作者多年的教學(xué)經(jīng)驗(yàn),并參考了國(guó)內(nèi)外多種同類教材,采用接近學(xué)生思維習(xí)慣的平實(shí)語言編寫而成。全書共分5章,內(nèi)容包括命題邏輯、謂詞邏輯、集合與關(guān)系、代數(shù)系統(tǒng)和圖論。各章相對(duì)獨(dú)立又互有聯(lián)系,證明力求平實(shí),定理、例題、習(xí)題、實(shí)驗(yàn)題互相呼應(yīng),深入淺出。為了方便教學(xué),本書配有多媒體課件。
《離散數(shù)學(xué)》既可作為高等院校計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程、電子商務(wù)及相關(guān)專業(yè)的教材,也可作為相關(guān)專業(yè)人員自學(xué)與參考用書。
書籍目錄
前言
第1章 命題邏輯
1.1 命題及聯(lián)結(jié)詞
1.2 命題公式及其賦值
1.3 等值式
1.4 析取范式與合取范式
1.5 實(shí)驗(yàn)
1.6 推理理論
1.7 消解法
第2章 謂詞邏輯
2.1 基本概念
2.2 謂詞公式及其解釋
2.3 謂詞公式等值演算
2.4 謂詞公式的范式
2.5 謂詞推理
第3章 集合與關(guān)系
3.1 基本概念
3.2 集合運(yùn)算與性質(zhì)
3.3 有窮集的計(jì)數(shù)
3.4 序偶
3.5 直積或笛卡兒積
3.6 關(guān)系
3.7 關(guān)系的復(fù)合
3.8 關(guān)系分類
3.9 關(guān)系的閉包
3.10 等價(jià)關(guān)系與集合?劃分
3.11 偏序關(guān)系
3.12 實(shí)驗(yàn)
第4章 代數(shù)系統(tǒng)
4.1 什么是代數(shù)運(yùn)算
4.2 運(yùn)算的定義
4.3 運(yùn)算的性質(zhì)
4.4 代數(shù)系統(tǒng)
4.5 實(shí)驗(yàn)
4.6 半群
4.7 群
4.8 子群
4.9 群的陪集分解
4.10 循環(huán)群
4.11 置換群
4.12 環(huán)、域
第5章 圖論
5.1 圖的概念與描述
5.2 圖的連通性
5.3 歐拉圖
5.4 哈密爾頓圖
5.5 平面圖與四色猜想
5.6 樹與生成樹
5.7 最短路徑
5.8 網(wǎng)絡(luò)流圖
5.9 實(shí)驗(yàn)
參考文獻(xiàn)
圖書封面
評(píng)論、評(píng)分、閱讀與下載