基本信息
作 者： 陳光喜，丁宣浩 編
出 版 社： 電子工業出版社
ISBN： 9787121056543
出版時間： 2008-01-01
版 次： 1
頁 數： 329
裝 幀： 平裝
開 本： 16開
所屬分類： 圖書>科學與自然>數學
內容簡介
“離散數學”是研究離散量結構及其相互關係的數學學科，是現代數學的重要組成部分，是計算機科學與技術的理論基礎。《高等學校規劃教材：離散數學》包括離散數學中的五部分內容：數理邏輯、集合論與關係、組合數學與數論初步、圖論和代數結構。離散數學也是計算機科學與技術專業研究生入學考試、全國計算機等級考試四級（軟體方向）、同等學歷人員申請碩士學位全國統考的內容。本教材還包括了歷年計算機等級考試中的試題和同等學歷碩士學位全國統考的模擬試題。 《高等學校規劃教材：離散數學》可作為普通高校計算機科學與技術、信息與計算科學等專業本科生教材，也可作為全國計算機等級考試（四級）與同等學歷人員申請碩士學位的全國統考教材。
圖書目錄
第1篇 數理邏輯
第1章 命題邏輯基本概念
1.1 命題與命題聯結詞
1.2 命題公式及其真值表
1.3 命題邏輯等值演算
1.4 主析取範式與主合取範式
1.5 聯結詞的完備集
第2章 命題邏輯的推理理論
2.1 命題邏輯的推理演算
2.2 命題邏輯的歸結推理方法
2.3 命題邏輯的公理系統
第3章 謂詞邏輯基本概念
3.1 謂詞、個體詞與量詞
3.2 謂詞公式的分類與解釋
3.3 等值演算與前束範式、Skolem範式
第4章 謂詞邏輯的推理理論
4.1 謂詞邏輯的推理演算
4.2 謂詞邏輯的歸結推理方法
數理邏輯習題
數理邏輯套用實踐性習題
第2篇 集合論與關係
第5章 集合論初步
5.1 集合的基本概念
5.2 自然數與無窮公理、歸納法原理
5.3 有序對與笛卡兒積
第6章 二元關係
6.1 二元關係概述
6.2 關係運算及性質
第7章 等價關係與偏序關係
7.1 等價關係與集合的劃分
7.2 偏序關係與哈斯圖
7.3 函式
7.4 集合的基數
集合論與關係習題
集合論與關係套用實踐性習題
第3篇 組合數學與數論初步
第8章 組合數學初步
8.1 計數、排列與組合
8.1.1 加法法則
8.1.2 乘法法則
8.1.3 排列與組合
8.1.4 組合和排列生成算法
8.1.5 二項式定理
8.2 遞推關係和母函式
8.2.1 遞推關係
8.2.2 母函式
8.3 抽屜原理
第9章 數論初步
9.1 整除
9.1.1 整除和因數
9.1.2 質數與合數
9.1.3 最大公因數、最低公倍數
9.1.4 唯一分解定理
9.2 同餘、中國剩餘定理
9.2.1 同餘
9.2.2 剩餘類和歐拉函式
9.2.3 一元一次同餘式
9.2.4 中國剩餘定理
9.2.5 數論套用於計算機通信安全
組合數學與數論初步習題
組合數學與數論初步套用實踐性習題
第4篇 圖 論
第10章 圖的基本概念
10.1 無向圖與有向圖
10.2 通路、迴路、圖的連通性
10.3 圖的矩陣表示
10.4 最短路徑與關鍵路徑
……
第11章 幾種特殊圖
第5篇 代數結構
第12章 代數系統的概念
第13章 半群與群
第14章 環和域
第15章 格與布爾代數
