相關商品
商品簡介
目次
商品簡介
本書共分為數理邏輯、關系、圖論、代數系統及組合分析初步5個部分，其中包括命題邏輯、謂詞邏輯、非經典邏輯、集合、二元關系、函數、圖論、代數系統以及組合計數等內容。本書既注重各部分內容之間的聯系，又注重基礎理論及其實際應用。各章配有小結及大量的例題分析，除第2章外每章本有兩套習題，習題一供學習者熟悉本章概念、理論和方法；習題二供學習者進行自我檢測。 本書可作為高等院校計算機及其相關專業的本科生、研究生教材，也可供從事計算機工作的科學技術人員以及相關人士使用或參考，還可用作大學畢業生的考研復習用書。
目次
第1篇 數理邏輯
第1章 數理邏輯
1.1 命題及命題聯結詞
1.2 命題公式及命題公式之間的邏輯關系
1.3 謂詞與量詞
1.4 謂詞公式及謂詞公式之間的邏輯關系
1.5 范式
1.6 數理邏輯推理理論
1.7 命題邏輯推理系統N
1.8 謂詞邏輯推理系統NL
小結
習題一
習題二
第2章 非經典邏輯介紹
2.1 模態邏輯
2.2 多值邏輯
2.3 非單調邏輯
2.4 模糊邏輯
2.5 道義邏輯
小結
習題一
第2篇 關系
第3章 集合基礎
3.1 集合的概念和表示法
3.2 集合的關系
3.3 集合的基本運算
3.4 包含排斥原理
小結
習題一
習題二
第4章 關系
4.1 笛卡兒積與序偶
4.2 二元關系的定義和表示
4.3 關系的運算
4.4 關系的性質
4.5 關系的閉包
4.6 等價關系與集合的劃分
4.7 偏序關系與偏序集
小結
習題一
習題二
第5章 函數
第3篇 圖論
第6章 圖論中的基本概念
第7章 特殊圖
第4篇 代數系統
第8章 代數系統
第9章 幾個特殊的代數系統
第5篇 組合分析初步
第10章 排列與組合
第11章 鴿巢原理
附錄 各章習題二答案
參考文獻
第1章 數理邏輯
1.1 命題及命題聯結詞
1.2 命題公式及命題公式之間的邏輯關系
1.3 謂詞與量詞
1.4 謂詞公式及謂詞公式之間的邏輯關系
1.5 范式
1.6 數理邏輯推理理論
1.7 命題邏輯推理系統N
1.8 謂詞邏輯推理系統NL
小結
習題一
習題二
第2章 非經典邏輯介紹
2.1 模態邏輯
2.2 多值邏輯
2.3 非單調邏輯
2.4 模糊邏輯
2.5 道義邏輯
小結
習題一
第2篇 關系
第3章 集合基礎
3.1 集合的概念和表示法
3.2 集合的關系
3.3 集合的基本運算
3.4 包含排斥原理
小結
習題一
習題二
第4章 關系
4.1 笛卡兒積與序偶
4.2 二元關系的定義和表示
4.3 關系的運算
4.4 關系的性質
4.5 關系的閉包
4.6 等價關系與集合的劃分
4.7 偏序關系與偏序集
小結
習題一
習題二
第5章 函數
第3篇 圖論
第6章 圖論中的基本概念
第7章 特殊圖
第4篇 代數系統
第8章 代數系統
第9章 幾個特殊的代數系統
第5篇 組合分析初步
第10章 排列與組合
第11章 鴿巢原理
附錄 各章習題二答案
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。