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