離散数学

離散数学（りさんすうがく、英語：discrete mathematics）とは、原則として離散的な（言い換えると連続でない、とびとびの）対象をあつかう数学のことである。有限数学あるいは離散数理と呼ばれることもある。

グラフ理論、組み合わせ理論、最適化問題、計算幾何学、プログラミング、アルゴリズム論が絡む応用分野で、その領域を包括的・抽象的に表現する際に用いられることが多い。またもちろん離散数学には整数論が含まれるが、初等整数論を超えると解析学などとも関係し（解析的整数論）、離散数学の範疇を超える。

プログラマにとっての離散数学

離散数学の知識とプログラミングの技術は独立している

離散数学ができなくてもプログラミングはできるし、離散数学を学んでもプログラミングが上達するわけではない

対象を数学的モデルとして扱えるかどうかで大きく差がつく

ネットワークを集合へ

プログラムを構文木へ