大學課程

離散數學是隨著計算機科學的發展和計算機應用的日趨廣泛而逐漸形成的一門學科， 是20 世紀70 年代初期形成的新興學科， 是近代數學的一個分支, 主要研究有限個或可數無限個離散量的結構和相互關係， 離散數量關係和離散結構數學結構模型。由於計算機科學的迅速發展，與其有關的領域中，提出了許多有關離散量的理論問題，需要用某些數學的工具做出描述和深化。離散數學把計算機科學中所涉及到的研究離散量的數學綜合在一起，進行較系統的、全面的論述，為研究計算機科學的相關問題提供了有力的工具。

離散數學的許多概念及問題自然地出現在數學的許多分支中，並且也在其它學科中發現了它的應用。這些包括在信息論和電子工程中的應用，在統計物理，在化學及在分子生物學。例如，像Ramsey 理論、組合集合論、擬陣理論、極值圖論、組合幾何及相差論的組合論等論題。還包括在計算機學科的應用，如計算機科學中的數據結構、操作系統、編譯理論、算法分析、邏輯設計、系統結構、容錯診斷、機器定理證明等理論都是與數學和科學世界的大部分問題密切相關的，並且已經發現這些論題在其它領域中有著眾多的應用。