2011年機械工業出版社出版圖書
內容簡介
本書主要介紹離散數學中的四部分內容：集合論，數理邏輯，圖論和近世代數。總計九章，每章後有習題，書末附習題答案及提示。
本書的讀者對象主要是：缺乏數學預備知識的初學者。主要目的是：講清楚相關的數學概念究竟在實際中是什麼意義，說明白相關的數學問題如何從實際中被歸納出來。
本書可作為大專院校特別是網路學院計算機專業或相關專業的教材，也可供有興趣的科技工作者自學或參考。
目錄
前言
第1篇 集合論
第1章 集合
1．1 基本概念
1．2 基本運算
1．3 幾個定理
1．4 文氏圖
1．5 笛卡爾積
1．6 習題
第2章 關係
2．1 關係的表示
2．2 關係的性質
2．3 關係的運算
2．4 關係的閉包
2．5 等價關係
2．6 偏序關係
2．7 習題
第2篇 數理邏輯
第3章 命題邏輯
3．1 命題
3．2 聯結詞
3．3 命題公式
3．4 等價
3．5 永真式與永假式
3．6 對偶
3．7 範式
3．8 習題
第4章 謂詞邏輯
4．1 基本概念
4．2 謂詞公式
4．3 永真式與蘊含式
4．4 前束範式
4．5 習題
第3篇 圖 論
第5章 圖
5．1 基本概念
5．2 圖的連通性
5．3 圖的矩陣表示
5．4 有向圖
5．5 權圖中的最優路線
5．6 習題
第6章 特殊圖
6．9 歐拉圖
6．2 哈密頓圖
6．3 平面圖
6．4 習題
第4篇 近世代數
第7章 代數系統
7．1 基本概念
7．2 運算的性質
7．3 特殊元素
7．4 同餘、同態、同構
7．5 習題
第8章 群論
8．1 一般概念
8．2 群
8．3 子群與循環群
8．4 交換群與置換群
8．5 陪集與正規子群
8．6 群的劃分與商群
8．7 習題
第9章 環、域、格
9．1 環
9．2 域
9．3 格
9．4 習題
附錄 單射、滿射、雙射
參考答案
2010年中國科學技術大學出版社出版圖書
離散數學基礎書 名: 離散數學基礎作 者：王傳玉
出版社：中國科學技術大學出版社
出版時間： 2010年9月1日
ISBN: 9787312027345
開本： 16開
定價: 15.00元
內容簡介
《離散數學基礎(第2版)》內容簡介：離散數學，是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程。離散數學是隨著計算機科學的發展而逐步建立的。它形成於20世紀70年代初期，是一門新興的工具性學科。為適應計算機科學教學的需要，組織編寫了這本理工科院校計算機專業適用的基礎教材。
內容包括：數理邏輯；謂詞邏輯；集合代數；二元關係；函式；代數結構；格與布爾代數；圖論等。
《離散數學基礎(第2版)》特色是內容實用，敘述簡捷，實例突出，非常適合大專院校師生和有關科技人員使用。
圖書目錄
前言
第l章 數理邏輯
1．1 命題與邏輯聯結詞
1．2 命題公式
1．3 真值表和等價公式
1．4蘊含式
1．5 其他聯結詞
1．6 對偶與範式
1．7 推理理論
第2章 謂詞邏輯
2．1 謂詞的概念與表示
2．2 命題函式與量詞
2．3 謂詞公式與變元的約束
2．4 謂詞演算的等價式與蘊含式
2．5 謂詞演算的推理理論
第3章 集合代數
3．1 集合的基本概念
3．2 集合的計數
第4章 二元關係
4．1 序偶與笛卡爾積
4．2 二元關係
4．3 關係的運算
4．4 關係的性質
4．5 關係的閉包運算
4．6 等價關係與劃分
4．7 偏序關係
第5章函式
5．1函式的概念
5．2函式的複合與反函式
第6章 代數結構
6．1 二元運算及其性質
6．2 代數系統
6．3 半群
6．4 群
6．5 子群
6．6 陪集與格拉朗日定理
6．7 群的同態與同構
6．8 環與域
第7章 格與布爾代數
7．1 格的概念
7．2 分配格與有補格
7．3布爾代數
第8章 圖論
8．1 圖的基本概念
8．2 路徑與迴路
8．3 圖的矩陣表示
8．4 歐拉圖與哈密爾頓圖
8．5 二部圖
8．6 平面圖
8．7 樹
符號表
參考文獻
