123,123,123

內(nèi)容簡(jiǎn)介

　　本書內(nèi)容是按照國(guó)家教委離散數(shù)學(xué)教學(xué)大綱要求并參考IEEE＆ACM的CC2001教程編排的，是作者在原著《離散數(shù)學(xué)》（1994年，科學(xué)出版社）的基礎(chǔ)上修改而成的。本書包括離散數(shù)學(xué)四大分支的基礎(chǔ)理論：數(shù)理邏輯、圖論、集合論、抽象代數(shù)學(xué)。它既注重離散數(shù)學(xué)內(nèi)容本身的系統(tǒng)完善，同時(shí)又注重與計(jì)算機(jī)科學(xué)的密切聯(lián)系，具有結(jié)構(gòu)合理、內(nèi)容系統(tǒng)、闡釋新穎的特點(diǎn)。本書取材詳略得當(dāng)，敘述清楚流暢，論證科學(xué)嚴(yán)謹(jǐn)，釋例、練習(xí)精選獨(dú)到，力求科學(xué)性、應(yīng)用性、工具性和可讀性的完美統(tǒng)一。本書附教學(xué)用光盤一張，其內(nèi)容包括課堂教學(xué)輔助軟件和課外自學(xué)輔助軟件。本書可作為高等院校計(jì)算機(jī)專業(yè)及相關(guān)專業(yè)本科生、?？粕碾x散數(shù)學(xué)教材和教學(xué)參考書，也可作為計(jì)算機(jī)軟硬件研究開(kāi)發(fā)者和應(yīng)用人員的學(xué)習(xí)用書，以及大學(xué)畢業(yè)生考研復(fù)習(xí)用書。

作者簡(jiǎn)介

暫缺《離散數(shù)學(xué)導(dǎo)論》作者簡(jiǎn)介

圖書目錄

第一篇數(shù)理邏輯
第一章命題演算及其形式系統(tǒng)
  1.1 命題與聯(lián)結(jié)詞
  1.2 重言式
  1.3 范式
  1.4 命題演算形式系統(tǒng)
第二章謂詞演算及其形式系統(tǒng)
  2.1 個(gè)體、謂詞和量詞
  2.2 謂詞演算永真式
  2.3 謂詞公式的前束范式
  2.4 一階謂詞演算形式系統(tǒng)
第三章消解原理
  3.1 斯柯倫標(biāo)準(zhǔn)形
  3.2 命題演算消解原理
  3.3 謂詞演算消解原理
第二篇集合論
第四章集合及其運(yùn)算
  4.1 集合的基本概念
  4.2 集合運(yùn)算
  4.3 集合的歸納定義及歸納法證明
第五章關(guān)系
  5.1 有序組與集合的笛卡兒積
  5.2 關(guān)系
  5.3 等價(jià)關(guān)系
  5.4 序關(guān)系
第六章函數(shù)
  6.1 函數(shù)及函數(shù)的合成
  6.2 特殊函數(shù)類
  6.3 函數(shù)的逆
  6.4 函數(shù)、謂詞、集合
第七章基數(shù)
  7.1 有限集和無(wú)限集
  7.2 基數(shù)
第三篇圖論
第八章圖
  8.1 圖的基本知識(shí)
  8.2 路徑、回路及連通性
  8.3 歐拉圖與哈密頓圖
  8.4 圖的矩陣表示
第九章特殊圖
  9.1 二分圖
  9.2 平面圖
  9.3 樹(shù)
第四篇抽象代數(shù)
第十章代數(shù)結(jié)構(gòu)通論
  10.1 代數(shù)結(jié)構(gòu)通論
  10.2 同態(tài)、同構(gòu)及同余
  10.3 商代數(shù)與積代數(shù)
第十一章群、環(huán)、域
  11.1 半群
  11.2 群
  11.3 循環(huán)群和置換群
  11.4 環(huán)
  11.5 域
第十二章格與布爾代數(shù)
  12.1 格
  12.2 布爾代數(shù)
參考文獻(xiàn)