離散數(shù)學(xué)是隨著計算機(jī)科學(xué)的發(fā)展和計算機(jī)應(yīng)用的日趨廣泛而逐漸形成的一門學(xué)科， 是 20 世紀(jì) 70 年代初期形成的新興學(xué)科，是近代數(shù)學(xué)的一個分支 , 主要研究有限個或可數(shù)無限個離散量的結(jié)構(gòu)和相互關(guān)系， 離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)結(jié)構(gòu)模型。由于計算機(jī)科學(xué)的迅速發(fā)展，與其有關(guān)的領(lǐng)域中，提出了許多有關(guān)離散量的理論問題，需要用某些數(shù)學(xué)的工具做出描述和深化。離散數(shù)學(xué)把計算機(jī)科學(xué)中所涉及到的研究離散量的數(shù)學(xué)綜合在一起，進(jìn)行較系統(tǒng)的、全面的論述，為研究計算機(jī)科學(xué)的相關(guān)問題提供了有力的工具。
離散數(shù)學(xué)的許多概念及問題自然地出現(xiàn)在數(shù)學(xué)的許多分支中，并且也在其它學(xué)科中發(fā)現(xiàn)了它的應(yīng)用。這些包括在信息論和電子工程中的應(yīng)用，在統(tǒng)計物理，在化學(xué)及在分子生物學(xué)。例如，像 Ramsey 理論、組合集合論、擬陣?yán)碚摗O值圖論、組合幾何及相差論的組合論等論題。還包括在計算機(jī)學(xué)科的應(yīng)用，如計算機(jī)科學(xué)中的數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯理論、算法分析、邏輯設(shè)計、系統(tǒng)結(jié)構(gòu)、容錯診斷、機(jī)器定理證明等理論都是與數(shù)學(xué)和科學(xué)世界的大部分問題密切相關(guān)的，并且已經(jīng)發(fā)現(xiàn)這些論題在其它領(lǐng)域中有著眾多的應(yīng)用。
