離散数学

数学 > 離散数学

離散数学（りさんすうがく）とは、連続的ではない「とびとび」の値を扱う数学の分野。

数え上げ、集合、論理、グラフ理論などを基礎とし、コンピュータサイエンスやアルゴリズムの土台として不可欠な役割を持つ。

特徴

• ものの集まりや、その間の包含関係・演算を扱う。
• 条件に合うものの個数を効率よく数えられる。
• 点と線で結ばれたネットワーク構造や道順を解析する。
• 命題の真偽やブール代数を扱う。
• 情報科学と関わりがある。

概念

離散数学の概念は、プログラムの正当性検証、データベースの構造設計、AIやネットワークの最適化や、現代のIT技術全般に応用されている。