離散數學

定　價：￥20.00

作　者：	檀鳳琴，何自強編著
出版社：	科學出版社
叢編項：	北京市高等教育學歷文憑考試計算機專業(yè)教材
標　簽：	離散數學

ISBN：	9787030068194	出版時間：	2001-03-01	包裝：
開本：	26cm	頁數：	229	字數：

內容簡介

　　本書是根據國務院發(fā)布的《高等教育自學考試暫行條例》以及北京市高等教育自學考試委員會制定的《高等教育學歷文憑考試課程大綱》編寫的，其內容的深度和廣度符合大綱要求。本書由四篇組成。第一篇數理邏輯，內容有：命題邏輯，一階邏輯。第二篇集合論，內容有：集合的基本概念和運算，關系和函數。第三篇代數系統(tǒng)，內容有：代數系統(tǒng)概述，幾種典型的代數系統(tǒng)。第四篇圖論，內容有：圖的基本概念，樹，幾類特殊圖。本書包括了離散數學各部分的基本內容，及其在計算機科學實際問題中的某些應用。本書概念清晰，敘述嚴謹精煉，語言通俗易懂，例題講解詳細，并有大量習題，便于讀者自學。本書由北京市高等教育自學考試委員會推薦使用，不僅可作為高等教育自學考試計算機專業(yè)文憑考試課程的理想教材，還可以作為各類高等專科學校、職工大學、職業(yè)大學、夜大學以及函授大學等大專類 “離散數學”課程的教材與教學參考書。

作者簡介

暫缺《離散數學》作者簡介

圖書目錄

序
前言
第一篇　數理邏輯
第一章　命題邏輯
1. 1　命題與聯(lián)結詞
1. 2　命題公式與賦值
1. 3　等值演算
1. 4　聯(lián)結詞的全功能集
1. 5　范式
1. 6　推理理論
習題
第二章　一階邏輯
2. 1　一階邏輯的基本概念
2. 2　一階語言及其解釋
2. 3　等值演算
2. 4　前束范式
2. 5　推理理論
習題
第二篇　集合論
第三章　集合的基本概念和運算
3. 1　集合的基本概念
3. 2　集合的運算
3. 3　有限集合的計數
習題
第四章　關系和函數
4. 1　有序偶和笛卡兒積
4. 2　關系的表示法以及關系的性質
4. 3　關系的運算
4. 4　等價關系和劃分
4. 5　偏序關系
4. 6　函數的基本概念及性質
4. 7　函數的復合
4. 8　反函數
4. 9　集合的基數
習題
第三篇　代數系統(tǒng)
第五章　代數系統(tǒng)概述
5. 1　二元運算及其性質
5. 2　代數系統(tǒng)
5. 3　代數系統(tǒng)的同態(tài)和同構
習題
第六章　幾種典型的代數系統(tǒng)
6. 1　半群. 么半群和群
6. 2　環(huán)和域
6. 3　格和布爾代數
習題
第四篇　圖　論
第七章　圖的基本概念
7. 1　無向圖與有向圖
7. 2　通路. 回路. 圖的連通性
7. 3　帶權圖與最短通路
7. 4　圖的矩陣表示
習題
第八章　樹
8. 1　樹與生成樹
8. 2　根樹及其應用
習題
第九章　幾類特殊圖
9. 1　歐拉圖與哈密頓圖
9. 2　二部圖
9. 3　平面圖
習題
索引
附錄　北京市高等教育學歷文憑考試“離散數學”課程考試大綱
參考文獻