離散數學基礎

內容概要

離散數學，是現代數學的一個重要分支，是計算機科學中基礎理論的核心課程。離散數學是隨著計算機科學的發(fā)展而逐步建立的。它形成于20　　世紀70年代初期，是一門新興的工具性學科。為適應計算機科學教學的需要，組織編寫了這本理工科院校計算機專業(yè)適用的基礎教材。　　內容包括：數理邏輯；謂詞邏輯；集合代數；二元關系；函數；代數結構；格與布爾代數；圖論等。　　本書特色是內容實用，敘述簡捷，實例突出，非常適合大專院校師生和有關科技人員使用。

書籍目錄

前言　第1章　數理邏輯　1.1　命題與邏輯聯(lián)結詞　1.2　命題公式　1.3　真值表和等價公式　1.4　蘊含式　1.5　其他聯(lián)結詞　1.6　對偶與范式　1.7　推理理論　第2章　謂詞邏輯　2.1　謂詞的概念與表示　2.2　命題函數與量詞　2.3　謂詞公式與變元的約束　2.4　謂詞演算的等價式與蘊含式　2.5　謂詞演算的推理理論第3章　集合代數　3.1　集合的基本概念　3.2　集合的計數第4章　二元關系　4.1　序偶與笛卡爾積　　4.2　二元關系　　4.3　關系的運算　　4.4　關系的性質　　4.5　關系的閉包運算　　4.6　等價關系與劃分　　4.7　偏序關系　第5章　函數　　5.1　函數的概念　　5.2　函數的復合與反函數　第6章　代數結構　　6.1　二元運算及其性質　　6.2　代數系統(tǒng)　　6.3　半群　　6.4　群　　6.5　子群　　6.6　陪集與格拉朗日定理　　6.7　群的同態(tài)與同構　　6.8　環(huán)與域　第7章　格與布爾代數　　7.1　格的概念　　7.2　分配格與有補格　　7.3　布爾代數　第8章　圖論　　8.1　圖的基本概念　　8.2　路徑與回路　　8.3　圖的矩陣表示　　8.4　歐拉圖與哈密爾頓圖　8.5　二部圖　8.6　平面圖　8.7　樹符號表參考文獻

圖書封面

評論、評分、閱讀與下載

---

    離散數學基礎 PDF格式下載

---