離散數(shù)學

定　價：￥15.00

作　者：	祝頌和等編
出版社：	西安交通大學出版社
叢編項：
標　簽：	離散數(shù)學

購買這本書可以去

中國圖書網(wǎng)

ISBN：	9787560504353	出版時間：	1995-05-01	包裝：	平裝
開本：	20cm	頁數(shù)：	383	字數(shù)：

內容簡介

　　內容提要本書系統(tǒng)地介紹了“離散數(shù)學”中集合論、代數(shù)系統(tǒng)、圖論及數(shù)理邏輯的基本內容，符合計算機專業(yè)后繼課程的需要。編寫中力求內容精煉，重點突出、深入淺出。為了適應第五代計算機對數(shù)理邏輯的特殊要求，書中加強了數(shù)理邏輯部分的內容和深度。本書可作為高等院校計算機專業(yè)、自控專業(yè)、應用數(shù)學與計算數(shù)學專業(yè)等本科及?？啤半x散數(shù)學”課程的教材或參考書，也可供有關科技人員和自學者參考。

作者簡介

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

圖書目錄

     目錄
   第一章集合
    1.基本概念
    2.集合代數(shù)
    3.集合運算的另外兩種工具——文圖與成員表法
    4.有窮集合運算的機械化——對集合強行命名
    習題一
   第二章關系
    1.集合的叉積
    2.關系
    3.關系的表示和運算
    4.等價關系
    5.半序關系
    習題二
   第三章函數(shù)
    1.基本概念
    2.函數(shù)的復合
    3.集合的基數(shù)
    習題三
    集合論的歷史
   第四章代數(shù)系統(tǒng)
    1.代數(shù)系統(tǒng)的基本概念
    2.代數(shù)系統(tǒng)的同構與同態(tài)
    3.半群
    4.群
    5.環(huán)
    6.域
    習題四
   第五章格與布爾代數(shù)
    1.格
    2.布爾代數(shù)
    習題五
    代數(shù)系統(tǒng)的歷史
   第六章圖論
    1.圖論一瞥
    2.圖的基本概念
    3.路與圈
    4.圖的矩陣表示
    5.帶權圖的最短路徑
    6.Euler圖
    7.Hamilton圖
    8.二分圖
    9.平面圖
    習題六
   第七章樹
    1.自由樹
    2.有根樹
    習題七
    圖論的歷史
   第八章命題演算
    1.命題與真值聯(lián)結詞
    2.命題公式與真假性
    3.命題公式的永真性
    4.聯(lián)結詞歸約與范式
    5.命題演算的形式推理
    習題八
   第九章謂詞演算
    1.謂詞與量詞
    2.謂詞公式與真假性
    3.謂詞公式的永真性
    4.謂詞演算的形式推理
    習題九
    數(shù)理邏輯的興起與展望
   參考文獻