出版時間:2003-1 出版社:機械工業(yè)出版社 作者:尤楓顏可慶 頁數(shù):248 字數(shù):396
內(nèi)容概要
本書系統(tǒng)地介紹了離散數(shù)學領域中各分支的主要內(nèi)容,包括數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論四個部分,各部分這間相對獨立而又相互聯(lián)系。具有內(nèi)容系統(tǒng)、根念清晰、證明嚴謹?shù)奶攸c,各章均配有典型的例子和適量的習題,以便讀者理解和掌握所學的內(nèi)容。本書可作為高等學校計算機科學與技術及相關專業(yè)的教材,也可供從事計算機工作的科技人員和工程技術人員參閱。出版說明
書籍目錄
前言
第一章命題邏輯
第二章謂詞邏輯
第三章集合論
第四章關系
第五章函數(shù)
第六章代數(shù)系統(tǒng)
第七章半群與群
第八章環(huán)和域
第九章格與布爾代數(shù)
第十章圖
第十一章特殊圖
參考文獻
圖書封面
評論、評分、閱讀與下載