(高職高專)離散數(shù)學(xué)(第二版)(計(jì)算機(jī)類)
- 所屬分類：
- 作者：
王宗傳 主編
- 出版社：
大連理工大學(xué)出版社
- ISBN：9787561123102
- 出版日期：2008-4-1
-
原價(jià)：
￥25.00元
現(xiàn)價(jià)：￥18.20元
-
本書信息由合作網(wǎng)站提供，請(qǐng)前往以下網(wǎng)站購(gòu)買：
圖書簡(jiǎn)介
本書共分四大部分，數(shù)理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理論，一階邏輯的基本概念、前束范式以及推理理論。集合論部分包括集合的基本概念與運(yùn)算，二元關(guān)系的性質(zhì)與運(yùn)算、等價(jià)關(guān)系與偏序關(guān)系，函數(shù)及其性質(zhì)，復(fù)合函數(shù)與反函數(shù)等。代數(shù)結(jié)構(gòu)部分包括二元運(yùn)算及代數(shù)系統(tǒng)，半群、獨(dú)異點(diǎn)、群、環(huán)與域、格與布爾代數(shù)等。圖論部分包括圖的基本概念和矩陣表示，樹的概念、性質(zhì)及應(yīng)用，二部圖，歐拉圖，哈密爾頓圖，平面圖，圖的著色等。
目錄
第一章 命題邏輯
1.1 命題與邏輯聯(lián)結(jié)詞
1.2 命題公式與結(jié)實(shí)
1.3 公式的等值演算
1.4 聯(lián)結(jié)鬩全功能集與對(duì)偶原理
1.5 命題公式的范式
1.6 命題邏輯中的推理
1.7 本章小結(jié)與例題解析
習(xí)題
第二章 謂詞邏輯
2.1 謂詞邏輯的基本概念
2.2 謂詞邏輯合式公式及解釋
2.3 謂詞邏輯等值式
2.4 謂詞邏輯中的推理
2.5 本章小結(jié)與例題解析
習(xí)題
第三章 集合
3.1 集合的基本概念
3.2 集合運(yùn)算
3.3 集合的運(yùn)算性質(zhì)
3.4 序偶與笛卡兒積
3.5 本章小結(jié)與例題解析
習(xí)題三
第四章 二元關(guān)系和函數(shù)
4.1 二元關(guān)系及其運(yùn)算
4.2 關(guān)系的性質(zhì)和閉包
4.3 等價(jià)關(guān)系和偏序關(guān)系
4.4 函數(shù)的定義和性質(zhì)
4.5 復(fù)合函數(shù)和反函數(shù)
4.6本章小結(jié)與例題解析
習(xí)題四
第五章 代數(shù)系統(tǒng)簡(jiǎn)介
5.1 二元運(yùn)算及其性質(zhì)
5.2 代數(shù)系統(tǒng)及其子代數(shù)和積代數(shù)
5.3 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)
5.4 群的基礎(chǔ)知識(shí)
5.5 本章小結(jié)與例題解析
習(xí)題五
第六章 圖的基本概念
第七章 一些特殊的圖
參考文獻(xiàn)
