離散數學及其應用：Python建模與實現(xiàn)

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

暫缺《離散數學及其應用：Python建模與實現(xiàn)》作者簡介