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