離散數學

數學背景。由於運算對象是離散的，所以電腦科學的數學基礎基本上也是離散的。我們可以說電腦科學的數學語言就是離散數學。人們會使用離散數學裡面的槪念和表示方法，來研究和描述電腦科學下所有分支的對象和問題，如電腦運算、編程語言、密碼學、自動定理証明和軟件開發等。相反地，計算機的應用使離散數學的概念得以應用於日常生活當中（如運籌學）。