人気ブログランキング |

「コンピュータは数学者になれるのか?」P53の関数 2

その2

pred(0)=0
pred(s(y))=y


具体的に代入してみます。

pred(0)=0
pred(0+1)=0
pred(1+1)=1
pred(2+1)=2
pred(3+1)=3


これは、わざわざ式を書くまでもないかな。
by tomoarrow | 2015-10-27 07:00 | モチーフについて | Comments(0)