離散數學課程中滲透優秀傳統文化思想的探究與實踐

王 云

（山東理工大學計算機科學與技術學院 山東·淄博 255000）

1 離散數學課程簡介

《離散數學》是研究離散對象的結構及其相互關系的一門數學課，通常是由數理邏輯、集合論、圖論、組合數學、數論、抽象代數、自動機理論等匯集起來的一門綜合學科。離散數學的應用遍及現代科學技術的諸多領域，更是計算機科學與技術及其相關專業的核心、骨干和重要專業基礎課程,是幾乎所有后續計算機專業課程（如數據結構、編譯原理、數據庫原理、人工智能等）的先導課程。離散數學課程所傳授的思想和方法，廣泛地體現在計算機科學技術及相關專業的諸領域。它的主要任務是培養學生的抽象思維和邏輯表達能力，提高發現問題、分析問題、解決問題的能力。

通過學習該門課程，使學生掌握計算問題的離散化、形式化以及用計算機求解科學計算問題的方法，掌握離散系統的數學描述方法，并能對計算問題進行形式化描述與證明。具體來說，主要教學目標包括：（1）掌握計算問題的離散化、形式化知識與方法，利用數理邏輯、集合論、代數結構和圖論相關的基礎知識與專業理論，對計算問題進行形式化描述；（2）掌握離散系統的數學描述方法，合理運用于計算問題的形式化表示、邏輯演算、邏輯推理和構建計算模型；（3）掌握離散數學相關的綜合及系統知識，對信息技術相關的系統與模型進行分析與設計，并能夠對計算問題進行形式化證明。

為了達成……