《中學教師進修高等師範本科(專升起點)教材·離散數學》根據教育部師範教育司制訂的《中學教師進修高等師範本科（專科起點）教學計畫》編寫。全書內容分成五篇：預備知識篇，包括整數、排列和組合初步及數學歸納法；數理邏輯篇，包括命題邏輯和一階謂詞邏輯中的基本概念、公式的蘊涵和等值演算、範式及推理理論；集合論篇，包括集合及其運算、二元關係及閉包、部分序關係和等價關係、映射；代數結構篇，包括群、環和格及其基本性質、布爾代數；圖論篇，包括圖和樹、最短路徑算法、最優二叉樹算法、哈夫曼算法和幾種特殊的圖。
基本介紹
- 書名：中學教師進修高等師範本科教材•離散數學
- 作者：鄧安生
- 原版名稱：中學教師進修高等師範本科教材•離散數學
- ISBN：7040093995
- 類別：文學
- 頁數：231頁
- 定價：16.00
- 出版社：高等教育出版社
- 出版時間：2006年7月1日
- 開本：16
基本介紹,內容簡介,作者簡介,圖書目錄,
基本介紹
內容簡介
《中學教師進修高等師範本科(專升起點)教材·離散數學》主要面向自學學生，在保證離散數學基本知識結構體系完整的前提下，對教材內容進行了必要的篩選。全書內容嚴謹而且自足，循序漸進，條理清楚，敘述流暢，重點突出，難點講解詳盡，輔助材料豐富，便於學生自學，也便於教師教學。
《中學教師進修高等師範本科(專升起點)教材·離散數學》可作為中學教師進修本科（專科起點）離散數學課程的教材或參考書，也可作其他類“專升本”或成人本科教育的教材。
《中學教師進修高等師範本科(專升起點)教材·離散數學》可作為中學教師進修本科（專科起點）離散數學課程的教材或參考書，也可作其他類“專升本”或成人本科教育的教材。
作者簡介
鄧安生，1963年6月生，吉林蛟河人。1985年7月於北京大學計算機科學與技術系獲理學學士學位；1988年6月于吉林大學計算機科學系獲工學碩士學位；1995年12月于吉林大學計算機科學系獲理學博士學位。 1988年6月至2001年5月在東北師範大學計算機科學系任教；2001年5月至2005年7月在廈門大學信息科學與技術學院計算機科學系任教；2005年7月至2007年1月在北京交通大學計算機與信息技術學院計算機科學系任教；2007年1月調入大連海事大學。現任計算機科學與技術學院教授、博士生導師，主要從事計算機軟體與理論教學和人工智慧及套用技術研究工作。
圖書目錄
第一篇 預備知識
第一章 預備
1.1 整除、互質和同餘
1.1.1 整除和質因數分解
1.1.2 同餘式
1.2 排列和組合
1.2.1 排列與組合及其簡單性質
1.2.2 排列和組合的生成
1.3 數學歸納法
1.3.1 數學歸納法的基本形式
1.3.2 數學歸納法的其他形式
1.4 小結
習題一
第二篇 數理邏輯
第二章 命題邏輯
2.1 基本概念
2.1.1 命題與邏輯聯結詞
2.1.2 命題公式與類型
2.2 等值演算
2.2.1 等值和基本等值式
2.2 2 置換規則
2.2.3 聯結詞的全功能集
2.3 範式
2.3.1 析取範式和主析取範式
2.3.2 合取範式和主合取範式
2.4 公式的蘊涵和推理
2.5 小結
習題二
第三章 一階謂詞邏輯
3.1 基本概念
3.1.1 謂詞和量詞
3.1.2 一階謂詞公式和解釋
3.2 等值演算和前束範式
3.2.1 等值演算
3.2.2 前束範式
3.3 公式的蘊涵和推理
3.4 小結
習題三
第三篇 集合和關係
第四章 集合和二元關係
4.1 集合及其運算
4.1.1 集合及其表示
4.1.2 集合之間的關係和運算
4.1.3 集合恆等式
4.2 二元關係及其閉包
4.2.1 二元關係及其運算
4.2.2 二元關係的性質
4.2.3 二元關係的閉包
4.3 幾種特殊的二元關係
4.3.1 等價關係
4.3.2 部分序關係
4.3.3 相容關係
4.4 映射與集合的等勢
4.4.1 映射的基本概念
4.4.2 映射的性質
4.4.3 集合的等勢。
4.5小結
習題四
第四篇 代數結構
第五章 群
5.1 代數系統
5.1.1 代數運算
5.1.2 代數系統及其同態和同構
5.2 群和子群
5.2.1 群的定義及其基本性質
5.2.2 子群和子群的判定
……
第六章 環
第七章 格和布爾代數
第五篇 圖和樹
第八章 圖
第九章 樹
第一章 預備
1.1 整除、互質和同餘
1.1.1 整除和質因數分解
1.1.2 同餘式
1.2 排列和組合
1.2.1 排列與組合及其簡單性質
1.2.2 排列和組合的生成
1.3 數學歸納法
1.3.1 數學歸納法的基本形式
1.3.2 數學歸納法的其他形式
1.4 小結
習題一
第二篇 數理邏輯
第二章 命題邏輯
2.1 基本概念
2.1.1 命題與邏輯聯結詞
2.1.2 命題公式與類型
2.2 等值演算
2.2.1 等值和基本等值式
2.2 2 置換規則
2.2.3 聯結詞的全功能集
2.3 範式
2.3.1 析取範式和主析取範式
2.3.2 合取範式和主合取範式
2.4 公式的蘊涵和推理
2.5 小結
習題二
第三章 一階謂詞邏輯
3.1 基本概念
3.1.1 謂詞和量詞
3.1.2 一階謂詞公式和解釋
3.2 等值演算和前束範式
3.2.1 等值演算
3.2.2 前束範式
3.3 公式的蘊涵和推理
3.4 小結
習題三
第三篇 集合和關係
第四章 集合和二元關係
4.1 集合及其運算
4.1.1 集合及其表示
4.1.2 集合之間的關係和運算
4.1.3 集合恆等式
4.2 二元關係及其閉包
4.2.1 二元關係及其運算
4.2.2 二元關係的性質
4.2.3 二元關係的閉包
4.3 幾種特殊的二元關係
4.3.1 等價關係
4.3.2 部分序關係
4.3.3 相容關係
4.4 映射與集合的等勢
4.4.1 映射的基本概念
4.4.2 映射的性質
4.4.3 集合的等勢。
4.5小結
習題四
第四篇 代數結構
第五章 群
5.1 代數系統
5.1.1 代數運算
5.1.2 代數系統及其同態和同構
5.2 群和子群
5.2.1 群的定義及其基本性質
5.2.2 子群和子群的判定
……
第六章 環
第七章 格和布爾代數
第五篇 圖和樹
第八章 圖
第九章 樹
