離散數(shù)學(xué)又稱(chēng)離散結(jié)構(gòu)，是研究離散對(duì)象的模型、性質(zhì)及操作的一門(mén)學(xué)科，是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，是計(jì)算機(jī)學(xué)科和新一代信息技術(shù)的理論基礎(chǔ)和工具。本書(shū)依據(jù)ACM和IEEE�睠S發(fā)布的CC2020教程，以及教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì)制定的計(jì)算機(jī)科學(xué)與技術(shù)專(zhuān)業(yè)規(guī)范，著力使內(nèi)容和知識(shí)體系的設(shè)計(jì)達(dá)到理論與實(shí)際結(jié)合、抽象與直觀統(tǒng)一、局部與整體協(xié)調(diào)。全書(shū)共9章，主要內(nèi)容包括集合、關(guān)系、函數(shù)、命題邏輯、謂詞邏輯、半群和群、環(huán)和域、格和布爾代數(shù)、圖、樹(shù)等。本書(shū)從計(jì)算機(jī)科學(xué)、密碼學(xué)、通信等領(lǐng)域提取了大量由淺入深的案例，幫助讀者掌握離散數(shù)學(xué)的概念和方法，通過(guò)實(shí)際問(wèn)題的建模、分析和求解，幫助讀者領(lǐng)會(huì)離散數(shù)學(xué)在計(jì)算機(jī)科學(xué)等領(lǐng)域的應(yīng)用，同時(shí)引領(lǐng)讀者探索離散數(shù)學(xué)的新應(yīng)用。
本書(shū)體系嚴(yán)謹(jǐn)，結(jié)構(gòu)新穎，內(nèi)容翔實(shí)，可作為高等院校計(jì)算機(jī)及相關(guān)專(zhuān)業(yè)本科生、研究生“離散數(shù)學(xué)”課程的教材，也可作為從事計(jì)算機(jī)及相關(guān)領(lǐng)域研究和應(yīng)用開(kāi)發(fā)人員的參考用書(shū)。