遞迴

函數呼叫自己——用「化約為更小的同類問題」解題。

全部遞迴 (2) Ackermann函式 (1) 不動點 (1) 呼叫堆疊 (1) 回溯 (1) 尾遞迴 (1) 演算法 (1) 終止性 (1) 良基遞迴 (1) 遞迴關係式 (1)

從良基終止性與歸納證明，到顯式堆疊、回溯剪枝、Ackermann 函式與不動點語意