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