#slides #taocp 1.2.1 수학적 귀납법

less than 1 minute read

알고리즘 유효성을 단계마다 단언(assertion)을 삽입해서 증명하는 게 이 단원에선 제일 어려웠다. 이제 긴 TAOCP 여행을 시작.