本書是計(jì)算機(jī)類教學(xué)指導(dǎo)委員會(huì)推薦的系統(tǒng)能力培養(yǎng)教材之一。本書《離散數(shù)學(xué)及其應(yīng)用—Python建模與實(shí)現(xiàn)》系統(tǒng)介紹了數(shù)理邏輯、集合論、圖論和代數(shù)系統(tǒng)，以計(jì)算為認(rèn)知模型，重點(diǎn)給出概念、運(yùn)算及關(guān)系的計(jì)算表示，并用計(jì)算驗(yàn)證性質(zhì)與定理。以邏輯為認(rèn)知模型，給出概念、運(yùn)算及關(guān)系的邏輯表示，并證明性質(zhì)與定理。即注重概念、運(yùn)算及關(guān)系的理解，又注重探究性質(zhì)及定理的驗(yàn)證與驗(yàn)證。即以Python作為認(rèn)識(shí)離散數(shù)學(xué)知識(shí)的模型，同時(shí)，又以離散數(shù)學(xué)作為離散世界的模型，為解決復(fù)雜工程問(wèn)題提供實(shí)際應(yīng)用解決方法。
本書可作為計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程專業(yè)專業(yè)必修課教材，也可以作為其它信息相關(guān)專業(yè)“離散數(shù)學(xué)”教材。同時(shí)，本書可作為其他專業(yè)技術(shù)人員或?qū)W生的參考讀物。