一、解釋：
離散數學是研究離散量的結構及其相互關係的數學學科，是現代數學的一個重要分支。離散的含義是指不同的連線在一起的元素，主要是研究基於離散量的結構和相互間的關係，其物件一般是有限個或可數個元素。離散數學在各學科領域，特別在電腦科學與技術領域有著廣泛的應用，同時離散數學也是計算機專業的許多專業課程，如程式設計語言、資料結構、作業系統、編譯技術、人工智慧、資料庫、演算法設計與分析、理論電腦科學基礎等必不可少的先行課程。
二、應用：
1、集合論部分：集合及其運算、二元關係與函式、自然數及自然數集、集合的基數。
2、組合數學部分：組合存在性定理、基本的計數公式、組合計數方法、組合計數定理。
3、組合數學部分：組合存在性定理、基本的計數公式、組合計數方法、組合計數定理。
4、數理邏輯部分：命題邏輯、一階謂詞演算、消解原理。
