KAIST

[알림판목록 I] [알림판목록 II] [글목록][이 전][다 음]

[ KAIST ] in KIDS 글 쓴 이(By): luvbug () 날 짜 (Date): 2002년 11월 27일 수요일 오후 02시 23분 46초 제 목(Title): Re: 일더하기 일은 이의 증명 참고로 scheme은 recursive function체계를 이용한  패러다임이고 (sub1(add1 x)) = (add1(sub1 x)) = x라는  axiom도 추가로 가지고 있습니다.

[알림판목록 I] [알림판목록 II] [글 목록][이 전][다 음]

키 즈 는 열 린 사 람 들 의 모 임 입 니 다.