[공순호]

점수표 & 모법답안

* HW2 : http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw2.proof.score.txt
* HW3 : http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw3.proof.score.txt
* HW3 모법 답안 : http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw3.sol.pdf

채점 기준
* 숙제 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