離散數(shù)學(xué)導(dǎo)論

前言

　　《離散數(shù)學(xué)導(dǎo)論》一書自1982年出版至今已有20余年，中間也經(jīng)再版，這次已是第3版了，在這20余年中本書受到廣大教師與學(xué)生的歡迎，其發(fā)行范圍已普及國內(nèi)各學(xué)校并已流傳至港、澳、臺(tái)等地區(qū)．為進(jìn)一步適應(yīng)各學(xué)校的需要，在這一版中對(duì)原版本的特色繼續(xù)予以保留外，還做了一定程度的修改與刪除，第3版的主要編寫方針是：　　1．繼續(xù)保持原版本簡(jiǎn)明易懂的原則；　　2．繼續(xù)保持原版本讀者群體范圍；　　3．繼續(xù)保持原版本的篇幅規(guī)模與內(nèi)容；　　4．在章節(jié)編排上做適當(dāng)?shù)恼{(diào)整，將第2版中過長(zhǎng)的章節(jié)做適當(dāng)變更，使每一章節(jié)控制在合適范圍內(nèi)，以便于教學(xué)上的合理安排；　　5．為適應(yīng)計(jì)算機(jī)科學(xué)與技術(shù)的發(fā)展，適當(dāng)調(diào)整內(nèi)容，如增加非經(jīng)典邏輯等內(nèi)容，刪除一些繁瑣證明及調(diào)整一些不合理的例子；　　6．為幫助學(xué)生復(fù)習(xí)，在每篇后特增加復(fù)習(xí)指導(dǎo)；　　7．在每章后增加習(xí)題，并在每篇后增加大量習(xí)題，以幫助學(xué)生復(fù)習(xí)；　　8．對(duì)原版中的一些錯(cuò)誤做了訂正；　　9．增加了中英文名詞對(duì)照表及常用符號(hào)表。

內(nèi)容概要

　　本書是1982年問世的《離散數(shù)學(xué)導(dǎo)論》的第3版，本版基本上保持原第2版的風(fēng)格與內(nèi)容，并適當(dāng)做了補(bǔ)充與刪改，本版對(duì)原有的章節(jié)進(jìn)行了重新編排，同時(shí)增加了大量習(xí)題。在每一篇結(jié)束后都給出了復(fù)習(xí)指導(dǎo)，供學(xué)習(xí)參考《離散數(shù)學(xué)導(dǎo)論》可作為高等學(xué)校計(jì)算機(jī)及相關(guān)專業(yè)離散數(shù)學(xué)課程的教材或參考書，也可供從事計(jì)算機(jī)工作的科研人員、工程技術(shù)人員以及其他有關(guān)人員參考。

書籍目錄

第一篇 緒言
第二篇 集合論
　第一章 集合論初步
　　1.1 集合的基本概念
　　1.2 冪集、n元有序組及笛卡兒乘積
　　習(xí)題一
　第二章 關(guān)系
　　2.1 關(guān)系的基本概念
　　2.2 關(guān)系的運(yùn)算
　　2.3 關(guān)系的重要性質(zhì)
　　2.4 關(guān)系上的閉包運(yùn)算
　　2.5 次序關(guān)系
　　2.6 相容關(guān)系
　　2.7 等價(jià)關(guān)系
　　習(xí)題二
　第三章 函數(shù)
　　3.1 函數(shù)的基本概念
　　3.2 復(fù)合函數(shù)、反函數(shù)、多元函數(shù)
　　3.3 常用函數(shù)介紹
　　習(xí)題三
　第四章 有限集與無限集
　　4.1有限集與無限集基本概念
　　4.2 有限集
　　4.3 無限集的性質(zhì)
　　習(xí)題四
　第二篇復(fù)習(xí)指導(dǎo)
　第二篇總復(fù)習(xí)題
第三篇 代數(shù)系統(tǒng)
　第五章 代數(shù)系統(tǒng)基礎(chǔ)
　　5.1 代數(shù)系統(tǒng)的一般概念
　　5.2 代數(shù)系統(tǒng)常見的一些性質(zhì)
　　5.3 同構(gòu)與同態(tài)
　　5.4 常用的代數(shù)系統(tǒng)、
　　習(xí)題五
　第六章 群論
　　6.1 半群與單元半群
　　6.2 群
　　習(xí)題六
　第七章 其他代數(shù)系統(tǒng)
　　7.1 環(huán)、理想、整環(huán)和域
　　7.2 格與布爾代數(shù)
　　習(xí)題七
　第三篇復(fù)習(xí)指導(dǎo)
　第三篇總復(fù)習(xí)題
第四篇 圖論
　第八章 圖論原理
　　8.1 圖的基本概念
　　8.2 通路、回路與連通性
　　8.3 歐拉圖
　　8.4 漢密爾頓圖
　　8.5 圖的矩陣表示法
　　習(xí)題八
　第九章　常用圖
　　9.1 樹
　　9.2 平面圖
　　9.3 兩步圖
　　習(xí)題九
　第四篇復(fù)習(xí)指導(dǎo)
　第四篇總復(fù)習(xí)題
第五篇 數(shù)理邏輯
　第十章 命題邏輯
　　10.1 命題與命題聯(lián)結(jié)詞
　　10.2 命題變?cè)c命題公式
　　10.3 重言式
　　10.4 命題邏輯的基本等式
　　10.5 對(duì)偶定理
　　10.6 命題邏輯的基本蘊(yùn)含式及推理規(guī)則
　　10.7 范式
　　10.8 命題聯(lián)結(jié)詞的擴(kuò)充與歸約
　　習(xí)題十
　第十一章 謂詞邏輯
　　11.1 謂詞與個(gè)體
　　11.2 量詞
　　11.3 函數(shù)
　　11.4 謂詞邏輯公式
　　11.5 自由變?cè)c約束變?cè)?br />　　11.6 謂詞邏輯的永真公式
　　11.7 范式
　　習(xí)題十一
　第十二章 數(shù)理邏輯的公理化理論
　　12.1 公理化理論的基本思想
　　12.2 命題邏輯與謂詞邏輯的公理化理論
　　12.3 數(shù)理邏輯公理化應(yīng)用系統(tǒng)
　　12.4 公理化理論與計(jì)算機(jī)科學(xué)
　　12.5 謂詞邏輯的自動(dòng)定理證明
　　12.6 PROLOG語言簡(jiǎn)介
　　習(xí)題十二
　第十三章 非經(jīng)典邏輯介紹
　　13.1 多值邏輯
　　13.2 模態(tài)邏輯
　　13.3 非單調(diào)邏輯
　　13.4 時(shí)態(tài)邏輯
　　13.5 模糊邏輯
　　習(xí)題十三
　第五篇復(fù)習(xí)指導(dǎo)
　第五篇總復(fù)習(xí)題
附錄一　常用符號(hào)一覽表
附錄二　中英文名詞對(duì)照表
參考文獻(xiàn)

章節(jié)摘錄

版權(quán)頁：插圖：

編輯推薦

《離散數(shù)學(xué)導(dǎo)論(第3版)》為高等學(xué)校教材之一。

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    離散數(shù)學(xué)導(dǎo)論 PDF格式下載

---