本書共分為5篇：集合論、圖論、數理邏輯、代數結構及綜合套用。集合論部分介紹了集合、關係、函式等；圖論部分介紹了圖的基本概念及特殊圖；數理邏輯包括命題邏輯和謂詞邏輯；代數系統介紹了群、環、域等；最後詳細介紹了這四部分在計算機中的實際套用。本書在編寫過程中，儘量將離散數學的各個部分有機地結合起來，力求條理清楚、深入淺出，通過該課程的學習，可使讀者掌握必備的離散數學知識，並提高其利用離散數學知識分析和解決實際問題的能力。
基本介紹
1圖書信息,內容簡介,圖書目錄,2圖書信息,內容提要,目錄,
1圖書信息
書 名: 離散數學及套用
作 者：郭鍵
出版時間： 2010-7-1
ISBN: 9787512303539
開本： 16開
定價: 32.00元
內容簡介
本書可作為高等院校計算機科學技術等相關專業的本科生和研究生的教學用書，也可作為計算機工程技術和研究人員學習離散數學的參考用書。
圖書目錄
前言
第1篇 集合論
第1章 集合
第2章 關係
第3章 函式
第2篇 圖論
第4章 圖的基本概念
第5章 特殊圖
第6章 無向樹
第7章 有向樹
第3篇 數理邏輯
第8章 命題邏輯
第9章 謂詞邏輯
第4篇 代數結構
第10章 群
第11章 環與理想
第12章 域
第5篇 綜合套用
第13章 數理邏輯的套用實例
第14章 關係的套用實例
第15章 圖論的套用實例
第16章 有限自動機與語言
參考文獻
2圖書信息
出版日期：2005-12-1
定價：￥20.00 元
內容提要
本書是按國家教委離散教學教學大綱的精神，並根據筆者多年來從事離散數學課程的教學實踐經驗以及計算機科研工作經驗編寫而成。本書內容包括數理邏輯、集合論、圖論、代數結構四個基本部分以及套用部分。套用部分主要介紹用計算機化簡邏輯函式、形式語言與自動機這兩個專題。
本書可作為計算機專業的離散教學教材，也可作為有關專業的教學用書，並可供有關專業的工程技術人員及具有高中以上文化水平的讀者參考。
目錄
第一篇 數理邏輯
第一章 命題演算
1.1 命題及聯結詞
1.2 命題變元與命題公式
1.3 命題演算的關係式
1.4 其他聯結詞
1.5 範式
1.6 命題演算的推理
第二章 謂詞演算
2.1 謂詞演算的基本概念
2.2 謂詞演算的關係式
2.3 前束範式
2.4 謂詞演算的推理
習題一
學習提要一
第二篇 集合論
第三章 集合
3.1 集合的基本概念
3.2 集合的運算及基本公式
3.3 冪集
3.4 包含排斥原理
3.5 集合的直積（笛卡兒乘積）
第四章 關係
4.1 關係及其運算
4.2 關係的有關性質
4.3 關係的閉包運算
4.4 等價關係和相容關係
4.5 偏序關係
第五章 映射與無限集
5.1 映射
5.2 無限集
習題一
學習提要二
第三篇 圖論
第六章 圖論
6.1 圖的基本概念
6.2 樹
6.3 圖的矩陣表示
6.4 平面圖
6.5 二分圖與匹配
習題三
學習提要三
第四篇 代數結構
第七章 代數結構的基本知識
7.1 代數系統的基本概念
7.2 同構與同態
第八章 半群與群
……
第九章 環與域
第十章 格與布爾代數
第五篇 離散數學在計算機科學技術中的套用
第十一章 用計算機化簡邏輯函式
第十二章 形式語言與自動機
習題答案與提示
符號表
參考文獻
