채점 기준
* 숙제 2
문제 3 : 성질이 부족한 경우 -3, induction case가 틀린 경우 각각 -2
문제 4 : induction에 문제가 있는 경우 -3, induction case가 틀린 경우 -2
문제 5 : 작은 문제 하나 당 2점씩
문제 6 : type이 맞지 않는 경우(reach(X)가 아닌, reach를 구한 경우) -5, notation에 문제가 있는 경우 -2
* 숙제 3
각각에 대해서 Base Case 가 맞으면 3점,
Inductive Case가 맞으면 7점을 부여하고,
사소한 실수에 대해서 1점 감점
답안지 & 클래임
제출하신 숙제 3의 답안지는 내일 수업 시간에 돌려드리겠습니다.
숙제에 대한 클래임은 1주일 동안 받도록 하겠습니다. _________________ - soon@ropas