2011-11-21から1日間の記事一覧
これまでの知識+αを用いて,帰納法による証明を幾つか作って見ましょう.■ :num 上の不等式についてのthm |- !n. 2 EXP n >= 1 + n ポイントは # EXP;; val it : thm = |- (!m. m EXP 0 = 1) /\ (!m n. m EXP SUC n = m * m EXP n) および,帰納法の仮定の…
これまでの知識+αを用いて,帰納法による証明を幾つか作って見ましょう.■ :num 上の不等式についてのthm |- !n. 2 EXP n >= 1 + n ポイントは # EXP;; val it : thm = |- (!m. m EXP 0 = 1) /\ (!m n. m EXP SUC n = m * m EXP n) および,帰納法の仮定の…