[%] 가끔 스탠포드 컴과 강의자료 구경하는데

[에르씨(lchbest10)]

얘네 존나 수학적이네. 엄밀한 수학적 증명훈련이 코딩에도 도움됨?

[bluepick(bluepick3)]

컴공에서 맨날 그런말 하자너 ㅇㅅㅇ; 엄밀하게 정의된 소프트웨어, 무결한 프로그램, 증명가능한 프로그램

[커헠(msca8h)]

당연히 도움되지 애초에 프로그램이라는게 추상적으로는 논리연산인데 - return 0;