2016-03-09から1日間の記事一覧

the art of computer programming 1.2.1 を読む

1.2.1 数学的帰納法 数学的帰納法は以下の方法で証明を行う。 P(n)を整数nについての何らかの言明だとする。 (a) P(1) が真であることを証明する。 (b) [P(1), P(2), ... , P(n)が全て真なら、P(n + 1)も真である。]ことを証明する。 ただし、nを適当な数に…