青青操网址,视色av影院精选

內(nèi)容簡介

　　離散數(shù)學和計算機科學關(guān)系密切。本書系統(tǒng)地介紹了離散數(shù)學的基礎(chǔ)理論，闡述了各個分支之間的聯(lián)系，還說明了它在計算機中的應(yīng)用。主要內(nèi)容包括：集合論、關(guān)系、映射和無限集、近世代數(shù)、圖論、命題邏輯、謂詞邏輯、命題邏輯和謂詞邏輯的公理化理論、離散數(shù)學在計算機中的應(yīng)用。章末附有習題。本書適合作為計算機專業(yè)的學生和自學考試者的教材，也可供從事計算機和數(shù)學方面研究的科技工作和教師學習參考。

作者簡介

暫缺《離散數(shù)學及其在計算機中的應(yīng)用》作者簡介

圖書目錄

第一章  集合論
1  集合和元素的概念
2  集合的子集
3  全集和空集
4  集合的運算. 文氏圖
5  有限集合中的元素數(shù)目
習題一
第二章  關(guān)系
1  關(guān)系的基本概念
2  關(guān)系的性質(zhì)
3  關(guān)系的運算
4  關(guān)系的閉包運算
5  具有特定性質(zhì)的關(guān)系
習題二
第三章  映射與無限集
1  映射
2  無限集
習題三
第四章  近世代數(shù)
1  代數(shù)運算
2  代數(shù)系統(tǒng)
3  同態(tài)和同構(gòu)
4  半群和單元半群
5  群論
6  環(huán), 理想, 整環(huán)和域
7  偏序集和格
習題四
第五章  圖論
1  圖的基本概念
2  連通性
3  圖的矩陣表示
4  權(quán)圖, 最小權(quán)通路和最小權(quán)回路
5  二分圖
6  平面圖
7  四色圖
8  樹
9  有向圖
習題五
第六章  命題邏輯
1  命題與命題聯(lián)結(jié)詞
2  命題公式
3  重言式
4  范式
習題六
第七章  謂詞邏輯
1  謂詞邏輯的基本概念
2  謂詞邏輯公式及其基本永真公式
3  前束范式與斯科林范式
4  函數(shù)
習題七
第八章  命題邏輯與謂詞邏輯的公理化理論
1  公理化理論的基本思想
2  命題邏輯的公理系統(tǒng)
3  謂詞邏輯的公理系統(tǒng)
習題八
第九章  離散數(shù)學在計算機科學中的應(yīng)用
1  離散數(shù)學在關(guān)系數(shù)據(jù)庫中的應(yīng)用
2  離散數(shù)學與糾錯碼
3  謂詞邏輯與邏輯程序設(shè)計語言