相關商品
商品簡介
目次
商品簡介
本書共分四大部分，數理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理論，一階邏輯的基本概念、前束范式以及推理理論。集合論部分包括集合的基本概念與運算，二元關係的性質與運算、等價關係與偏序關係，函數及其性質，復合函數與反函數等。代數結構部分包括二元運算及代數系統，半群、獨異點、群、環與域、格與布爾代數等。圖論部分包括圖的基本概念和矩陣表示，樹的概念、性質及應用，二部圖，歐拉圖，哈密爾頓圖，平面圖，圖的著色等。
目次
第一章 命題邏輯
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本章小結與例題解析
習題四
第五章 代數系統簡介
5.1 二元運算及其性質
5.2 代數系統及其子代數和積代數
5.3 代數系統的同態和同構
5.4 群的基礎知識
5.5 本章小結與例題解析
習題五
第六章 圖的基本概念
第七章 一些特殊的圖
參考文獻
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本章小結與例題解析
習題四
第五章 代數系統簡介
5.1 二元運算及其性質
5.2 代數系統及其子代數和積代數
5.3 代數系統的同態和同構
5.4 群的基礎知識
5.5 本章小結與例題解析
習題五
第六章 圖的基本概念
第七章 一些特殊的圖
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。