內容簡介
《離散數學》結閤作者多年的教學經驗,並參考瞭國內外多種同類教材,采用接近學生思維習慣的平實語言編寫而成。《離散數學》共分5章,內容包括命題邏輯、謂詞邏輯、集閤與關係、代數係統和圖論。各章相對獨立又互有聯係,證明力求平實,定理、例題、習題、實驗題互相呼應,深入淺齣。為瞭方便教學,《離散數學》配有多媒體課件。 《離散數學》既可作為高等院校計算機科學與技術、軟件工程、電子商務及相關專業的教材,也可作為相關專業人員自學與參考用書。
目錄
前言 第1章 命題邏輯 1.1 命題及聯結詞 1.1.1 命題 1.1.2 聯結詞 1.2 命題公式及其賦值 1.3 等值式 1.4 析取範式與閤取範式 1.5 實驗 1.6 推理理論 1.7 消解法 第2章 謂詞邏輯 2.1 基本概念 2.2 謂詞公式及其解釋 2.2.1 閤法的謂詞公式 2.2.2 個體變元的身份 2.2.3 謂詞公式的真值 2.2.4 謂詞公式的類型 2.3 謂詞公式等值演算 2.4 謂詞公式的範式 2.5 謂詞推理 第3章 集閤與關係 3.1 基本概念 3.2 集閤運算與性質 3.3 有窮集的計數 3.4 序偶 3.5 直積或笛卡兒積 3.6 關係 3.7 關係的復閤 3.8 關係分類 3.9 關係的閉包 3.10 等價關係與集閤的劃分 3.11 偏序關係 3.12 實驗 第4章 代數係統 4.1 什麼是代數運算 4.2 運算的定義 4.3 運算的性質 4.4 代數係統 4.5 實驗 4.6 半群 4.7 群 4.8 子群 4.9 群的陪集分解 4.10 循環群 4.11 置換群 4.12 環、域 第5章 圖論 5.1 圖的概念與描述 5.2 圖的連通性 5.3 歐拉圖 5.4 哈密爾頓圖 5.5 平麵圖與四色猜想 5.6 樹與生成樹 5.7 最短路徑 5.8 網絡流圖 5.9 實驗 參考文獻
前言/序言
離散數學 下載 mobi epub pdf txt 電子書