(高職高專)離散數(shù)學(xué)(第二版)(計算機類)
定 價：25 元
叢書名：新世紀(jì)高職高專計算機基礎(chǔ)教育系列規(guī)劃教材
- 作者：王宗傳 主編
- 出版時間：2008/4/1
- ISBN：9787561123102
- 出 版 社：大連理工大學(xué)出版社
- 中圖法分類：O158
- 頁碼：
- 紙張：膠版紙
- 版次：
- 開本：16開
本書共分四大部分，數(shù)理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理論，一階邏輯的基本概念、前束范式以及推理理論。集合論部分包括集合的基本概念與運算，二元關(guān)系的性質(zhì)與運算、等價關(guān)系與偏序關(guān)系，函數(shù)及其性質(zhì)，復(fù)合函數(shù)與反函數(shù)等。代數(shù)結(jié)構(gòu)部分包括二元運算及代數(shù)系統(tǒng)，半群、獨異點、群、環(huán)與域、格與布爾代數(shù)等。圖論部分包括圖的基本概念和矩陣表示，樹的概念、性質(zhì)及應(yīng)用，二部圖，歐拉圖，哈密爾頓圖，平面圖，圖的著色等。
第一章 命題邏輯
1.1 命題與邏輯聯(lián)結(jié)詞
1.2 命題公式與結(jié)實
1.3 公式的等值演算
1.4 聯(lián)結(jié)鬩全功能集與對偶原理
1.5 命題公式的范式
1.6 命題邏輯中的推理
1.7 本章小結(jié)與例題解析
習(xí)題
第二章 謂詞邏輯
2.1 謂詞邏輯的基本概念
2.2 謂詞邏輯合式公式及解釋
2.3 謂詞邏輯等值式
2.4 謂詞邏輯中的推理
2.5 本章小結(jié)與例題解析
習(xí)題
第三章 集合
3.1 集合的基本概念
3.2 集合運算
3.3 集合的運算性質(zhì)
3.4 序偶與笛卡兒積
3.5 本章小結(jié)與例題解析
習(xí)題三
第四章 二元關(guān)系和函數(shù)
4.1 二元關(guān)系及其運算
4.2 關(guān)系的性質(zhì)和閉包
4.3 等價關(guān)系和偏序關(guān)系
4.4 函數(shù)的定義和性質(zhì)
4.5 復(fù)合函數(shù)和反函數(shù)
4.6本章小結(jié)與例題解析
習(xí)題四
第五章 代數(shù)系統(tǒng)簡介
5.1 二元運算及其性質(zhì)
5.2 代數(shù)系統(tǒng)及其子代數(shù)和積代數(shù)
5.3 代數(shù)系統(tǒng)的同態(tài)和同構(gòu)
5.4 群的基礎(chǔ)知識
5.5 本章小結(jié)與例題解析
習(xí)題五
第六章 圖的基本概念
第七章 一些特殊的圖
參考文獻(xiàn)
書單推薦
