出版時間:2011-6 出版社:北京航空航天大學(xué)出版社 作者:王雙,劉家春,盧樹強(qiáng) 主編 頁數(shù):222 字?jǐn)?shù):371000
內(nèi)容概要
本書講述了:離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的一個重要分支,也是計算機(jī)專業(yè)課程體系中極為重要的專業(yè)基礎(chǔ)課之一。它以研究離散量的結(jié)構(gòu)及相互關(guān)系為主要目標(biāo),充分描述了計算機(jī)科學(xué)離散性的特點(diǎn)。離散數(shù)學(xué)不僅是計算機(jī)技術(shù)迅猛發(fā)展的支撐學(xué)科,更是提高學(xué)生邏輯思維力、創(chuàng)造性思維能力以及形式化表述能力的動力源?!峨x散數(shù)學(xué)》共10章,內(nèi)容包括數(shù)理邏輯、集合論、關(guān)系、代數(shù)系統(tǒng)和圖論等知識點(diǎn),理論安排以“必需夠用”為標(biāo)準(zhǔn),為學(xué)生今后處理離散信息,從事計算機(jī)應(yīng)用、信息管理和計算機(jī)科研打下堅實(shí)的數(shù)學(xué)基礎(chǔ)。
本書可以作為普通高等學(xué)校本科計算機(jī)等專業(yè)的教材使用,也可以供其他專業(yè)學(xué)生和科技人員閱讀參考。
書籍目錄
第1章 命題邏輯
1.1 命題與聯(lián)結(jié)詞
1.2 命題公式與真值表
1.3 等值演算
1.4 范式
1.5 推理演算
第2章 一階邏輯
2.1 謂詞和量詞
2.2 謂詞公式與翻譯
2.3 等價式與前束范式
2.4 謂詞演算推理
第3章 集合
3.1 集合概述
3.2 集合的運(yùn)算
3.3 集合運(yùn)算定律
3.4 笛卡爾積
3.5 集合在計算機(jī)中的表示
第4章 關(guān)系
4.1 關(guān)系的基礎(chǔ)知識
4.2 關(guān)系的運(yùn)算
4.3 關(guān)系的閉包運(yùn)算
4.4 等價關(guān)系
4.5 相容關(guān)系
4.6 偏
序
第5章 代數(shù)系統(tǒng)
5.1 二元運(yùn)算
5.2 代數(shù)系統(tǒng)
第6章 群
6.1 半群和獨(dú)異點(diǎn)
6.2 群的定義和性質(zhì)
6.3 子群
6.4 特殊群
6.5 群的同態(tài)和同構(gòu)
第7章 環(huán)和域
7.1 環(huán)的定義和性質(zhì)
7.2 子環(huán)和理想
7.3 域
第8章 格和布爾代數(shù)
8.1 格的定義和性質(zhì)
8.2 格同態(tài)
8.3 特殊格
8.4 布爾代數(shù)
第9章 圖
9.1 無向圖和有向圖
9.2 通路、回路、圖的連通性
9.3 圖的矩陣表示
9.4 最短路徑及關(guān)鍵路線
9.5 一些特殊的圖
第10章 樹
10.1 無向樹及生成樹
10.2 根樹及其應(yīng)用
習(xí)題答案
參考文獻(xiàn)
圖書封面
評論、評分、閱讀與下載