[微積分と物理/数学的帰納の変更点]

[ トップ ] [ 差分 | バックアップ | リロード ] [ 新規 | 一覧 | 検索 | 最新 | ヘルプ ]

--- 13: 2016-02-24 (水) 23:56:08 osinko
+++ 現: 2016-02-26 (金) 23:46:11 osinko
@@ Line 48: / Line 48: @@
 これは「[[プログラマの数学>書評]]」で説明されるドミノのたとえ話を論理的に説明したもの
-&font(Red){Ｃ＃にこの論理を当てはめると\(p(1)\)は初期設定関数、\(p(k) ⇒ p(k+1)\)はループする帰納関数部を指している。\(p(n)\)が成り立つと主張する部分では、この帰納関数の全入出力は（自然数\(n\)がどんな値をとっても）関数\(p\)の性質を持ち続ける事を結論付けている。この論理式の条件を満たす関数は「数学的帰納法」に適合したものであると、この論理式は定義付けている};
+&font(Red){Ｃ＃にこの論理を当てはめると\(p(1)\)は初期設定関数、\(p(k) ⇒ p(k+1)\)はループする帰納関数部を指している。\(p(n)\)が成り立つと主張する部分では、この帰納関数の全入出力は（自然数\(n\)がどんな値をとっても）関数\(p\)の性質を持ち続ける事を結論付けている。この論理式の前提を満たす関数は「数学的帰納法」に適合したものであると、この論理式は定義付けている};
 ＜メモ＞

微積分と物理​/数学的帰納 の変更点