>>212

離散数学とは、今日プログラミングの基礎理論として用いられているような、離散的（非連続的、散発的）な対象を原理的に扱う数学の一分野である。つまり、コンピュータで扱える限られた非連続数を扱う数学の体系である。

グラフ理論、組合せ論、最適化問題、計算幾何学、プログラミング、アルゴリズム理論など、さまざまな応用に用いられている。

この分野は、集合論、数論、グラフ理論、組合せ論など、有限、離散、非計量の分野をカバーしている。

組合せ論 例えば、実数のような連続数ではなく、整数や自然数のように飛び飛びの状態を表す数学である2。

離散数学は情報科学の様々な分野の理論的基礎を構成し、数論、ブール代数、オートマトン、計算理論、符号理論など、新旧の幅広い分野をカバーしている。また、情報処理試験の問題解決手法としても用いられている3。