2010-05-23から1日間の記事一覧
What is the relationship between induction and algebra? What is the relationship between formal proof and induction? structural induction is a proof method to prove object x, which is recursively defined, has some property p
What is the relationship between induction and algebra? What is the relationship between formal proof and induction? structural induction is a proof method to prove object x, which is recursively defined, has some property p