編輯推薦
《離散數學教程》體係嚴謹、內容豐富、配有大量的例題和習題,並與計算機科學的理論與實踐密切結閤。
《離散數學教程》不僅適用於計算機及相關專業的本科生或研究生,也可供計算機專業的科技人員使用或參考。
內容簡介
本書共分五編。一編為集閤論,其中包括集閤的基本概念、二元關係、函數、自然數、基數、序數。第二編為圖論,其中包括圖的基本概念、圖的連通性、歐拉圖與哈密頓圖、樹、平麵圖、圖的著色、圖的矩陣錶示、覆蓋集、獨立集、匹配、帶權圖及其實用。第三編為代數結構,其中包括代數係統的基本概念、幾個重要的代數係統:半群、群、環、域、格與布爾代數。第四編為組閤靈敏學,其中包括組閤存在性、組閤計數、級閤設計與編碼以及組閤優化。第五編為數理邏輯,其中包括命題邏輯、一階謂詞邏輯、Her-brand定理和直覺邏輯。
本書體係嚴謹、內容豐富、配有大量的例題和習題,並與計算機科學的理論與實踐密切結閤。
本書不僅適用於計算機及相關專業的本科生或研究生,也可供計算機專業的科技人員使用或參考。
目錄
第一編 集閤論
第一章 集閤
第二章 二元關係
第三章 函數
第四章 自然數
第五章 基數(勢)
第六章 序數
第二編 圖論
第七章 圖
第八章 歐拉圖與哈密頓圖
第九章 樹
第十章 圖的矩陣錶示
第十一章 平麵圖
第十二章 圖的著色
第十三章 支配集、覆蓋集、獨立集與匹配
第十四章 帶權圖及其應用
第三編 代數結構
第十五章 代數係統
第十六章 半群與獨異點
第十七章 群
第十八章 環與域
第十九章 格與布爾代數
第四編 組閤數學
第二十章 組存在性定理
第二十一章 基本的計數公式
第二十二章 組閤計數方法
第二十三章 組閤計數定理
第二十四章 組閤設計與編碼
第二十五章 組閤最優化問題
第五編 數理邏輯
第二十六章 命題邏輯
第二十七章 一階謂詞演算
第二十八章 消解原理
第二十九章 直覺主義邏輯
附錄1 第一編與第二編符號注釋與術語索引
附錄2 第三編與第四編符號注釋與術語索引
附錄3 第五編符號注番與術語索引
參考書目和文獻
前言/序言
高等院校計算機專業及專業基礎課係列教材:離散數學教程 下載 mobi epub pdf txt 電子書