推 ykjiang:抓個 functional language,如 Prolog 等來練習即可 12/11 12:18
推 isnoneval:SOP 可能不會有, 因為設計遞迴和構造式證明很接近 12/11 12:51
→ isnoneval:有沒有考慮過練習一些數學歸納法的證明題? 12/11 12:52
→ jjooeeyy:我用Hanoi tower作思考...感覺空間感很差... 12/11 13:42
推 andyjy12:用遞回寫,你要先"假設"程式已經做到某一步,然後往下想 12/11 17:18
推 FRAXIS:你可以多練練數學歸納法, 迴圈不變量的證明 會對遞迴有幫助 12/14 17:39
推 cspy:比如遇到遞迴的呼叫 狀態維持原樣 跳去執行另一個呼叫~ 12/16 23:40