比起cert level , 我見係多左一個新方法
以前 : prove p(1) = true , assume p(k) is true , prove p(k+1)
現在 : prove p(1) and p(2)= true , assume p(k) is true , prove p(k+2)
又或 : prove p(1) and p(2)= true , assume p(k) and p(k+1) is true , prove p(k+2)
方法我係明了
但書冇寫幾時用邊個方法 , 其實有冇咩頭緒 / 特式暗示你用邊個方法prove的?
先謝
更新1:
嗯...暫時都係(1)唔得就(2) 但考試時不是很費時失事麼? 大家都係咁做的?