「離散数学」の版間の差分

離散数学でよく使われる共通の問題解決法がある。それは[[アルゴリズム]]による解決法である。問題の構造をアルゴリズムに置換え、分析することで問題を解決する。アルゴリズムの理論は帰納的な考えを含む。つまり、アルゴリズムの理論自体も離散数学の一角を成しているといえる。アルゴリズムの理論の対象照を成すのが実証論である。実証論は整数論や[[トポロジー]]などの伝統的な数学の顕著な特徴を持っている。数学的には実証論的な証明の方が綺麗だといわれる。