離散数学
微分積分学の極限に関係しない数学。すなわち〈連続の数学〉に対して離散的な構造を扱う数学。計算可能性の理論，
符号理論
，オートマトンの理論，計算量の理論，証明論，組合せ論などの幅広い分野が含まれる。
離散数学(りさんすうがく)とは - コトバンク