離散數(shù)學導論

定　價：￥32.00

作　者：	王元元，張桂蕓編著
出版社：	科學出版社
叢編項：
標　簽：	離散數(shù)學

購買這本書可以去

當當網(wǎng) (￥22.60)

ISBN：	9787030039934	出版時間：	2002-02-01	包裝：	膠版紙
開本：	26cm＋光盤1片	頁數(shù)：	292	字數(shù)：

內(nèi)容簡介

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

作者簡介

暫缺《離散數(shù)學導論》作者簡介

圖書目錄

第一篇數(shù)理邏輯
第一章命題演算及其形式系統(tǒng)
  1.1 命題與聯(lián)結詞
  1.2 重言式
  1.3 范式
  1.4 命題演算形式系統(tǒng)
第二章謂詞演算及其形式系統(tǒng)
  2.1 個體、謂詞和量詞
  2.2 謂詞演算永真式
  2.3 謂詞公式的前束范式
  2.4 一階謂詞演算形式系統(tǒng)
第三章消解原理
  3.1 斯柯倫標準形
  3.2 命題演算消解原理
  3.3 謂詞演算消解原理
第二篇集合論
第四章集合及其運算
  4.1 集合的基本概念
  4.2 集合運算
  4.3 集合的歸納定義及歸納法證明
第五章關系
  5.1 有序組與集合的笛卡兒積
  5.2 關系
  5.3 等價關系
  5.4 序關系
第六章函數(shù)
  6.1 函數(shù)及函數(shù)的合成
  6.2 特殊函數(shù)類
  6.3 函數(shù)的逆
  6.4 函數(shù)、謂詞、集合
第七章基數(shù)
  7.1 有限集和無限集
  7.2 基數(shù)
第三篇圖論
第八章圖
  8.1 圖的基本知識
  8.2 路徑、回路及連通性
  8.3 歐拉圖與哈密頓圖
  8.4 圖的矩陣表示
第九章特殊圖
  9.1 二分圖
  9.2 平面圖
  9.3 樹
第四篇抽象代數(shù)
第十章代數(shù)結構通論
  10.1 代數(shù)結構通論
  10.2 同態(tài)、同構及同余
  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ù)
參考文獻