本書以集合論為基礎(chǔ)、數(shù)理邏輯為工具，吸取國外優(yōu)秀教材的特點，既保持經(jīng)典的離散數(shù)學內(nèi)容，又融入CDIO的理念，比較系統(tǒng)地敘述離散數(shù)學的基本核心內(nèi)容。全書主要包括數(shù)理邏輯（命題邏輯、謂詞邏輯、數(shù)學歸納法）、集合論（關(guān)系、函數(shù)、算法）、代數(shù)系統(tǒng)（群論、格與布爾代數(shù)）、圖論等內(nèi)容。本書讀者對象為大學計算機科學與技術(shù)、軟件及其他相關(guān)專業(yè)的本科生和從事相關(guān)專業(yè)的研究人員。
新書資訊