離散數學基礎及應用

定　價：￥23.00

作　者：	傅彥編著
出版社：	電子科技大學出版社
叢編項：
標　簽：	離散數學

ISBN：	9787810654975	出版時間：	2000-01-01	包裝：	平裝
開本：	26cm	頁數：	290頁	字數：

內容簡介

　　本書就離散數學的四大部分——數理邏輯、集合論初步及其二元關系、圖論初步、代數系統(tǒng)與布爾代數——介紹有關的概念、定理及其證明方法。全收共分五章：集合論初步、數理邏輯、二元關系、圖論初步、代數系統(tǒng)與布爾代數。其特點在于：除了強化基本概念描述外，還特別著重于闡述有關離散數學的證明方法及離散數學在計算機中的應用，并給予了大量的例子和應用實例；著重于強調幾部分之間的關系。介紹時以“工科學生易懂及夠用”為原則，突出重點，不忽略一般。本書可作為工科的本科、專科、自學等學生的必修課教材，特別適用于計算機專業(yè)的科技人員及學生使用。

作者簡介

暫缺《離散數學基礎及應用》作者簡介

圖書目錄

第一章集合論
1.1 集合及其表示
1.2 集合與元素的關系
1.3 幾種特殊集合
1.4 集合的運算
1.5 無限集的基本概念
第二章數理邏輯
2.1 命題邏輯
2.1.1 命題與命題聯結詞
2.1.2 命題公式、解釋與真值表
2.1.3 全功能聯結詞集合
2.1.4 范式
2.1.5 演繹與推理
2.2 謂詞邏輯
2.2.1 謂詞與量詞
2.2.2 合適公式
2.2.3 公式的解釋及其基本性質
2.2.4 謂詞演算的演繹與推理
2.3 數理邏輯在計算機科學中的應用
2.3.1 命題邏輯在計算機科學中的應用
2.3.2 數理邏輯在計算機科學中的應用
習題
第三章二元關系
3.1 二元關系及其表示
3.2 關系的運算
3.3 關系的一些重要性質
3.4 等價關系
3.5 次序關系
3.6 函數
3.7 關系在計算機科學中的應用
習題
第四章圖論
4.1 圖論簡介
4.2 圖論的基本概念
4.3 圖的連通性
4.4 圖的矩陣表示
4.5 Euler圖與Hamilton圖
4.6 樹
4.7 平面圖與二分圖
4.8 圖論在計算機科學中的應用
習題
第五章代數系統(tǒng)
5.1 代數系統(tǒng)的引入
5.2 同態(tài)與同構
5.3 半群與含幺半群
5.4 群論
5.5 格與布爾代數
5.6 代數系統(tǒng)在計算機科學中的應用
習題
參考文獻