[김덕은]

안녕하세요,
컴퓨터과학이 여는 세계 조교입니다.

컴퓨터과학이 여는 세계 [Homework 2] Exercise2의 채점 결과를 알려드립니다.
에세이는 교수님이 직접 점수를 매기시기 때문에 지금 공지되지 않습니다.
아래 링크를 통해 점수를 확인하시길 바랍니다.

http://ropas.snu.ac.kr/~ta/046.016/18/score/hw2.pdf


본 과제에 대한 채점 기준은 아래와 같습니다.
1. 부울의 세 가지 접속사 하나당 0.5점, 그에 대응되는 스위치 각각 1점, 기본 점수 0.5점.
2. 둘의 메모리 차이 비교 2.5점, 명령어 차이 비교 2.5점.
3. P가 NP가 아님을 가정 2점, NP인지 판별하는 과정 설명 3점.
4. 흔한 입력에 대한 적당한 답 2점, 통밥 2점, 무작위 1점.
5. 문제 선택이 올바르면 2점, 문제에 대한 풀이가 올바르면 3점.
6. 튜링기계 2.5점, 람다 계산법 2.5점.
7. 의미를 해석한다는 의미 포함 2.5점, 작동을 그대로 따라한다는 의미 포함 2.5점.
8. 증명하기에 대한 설명 1점, 프로그램짜기에 대한 설명 1점,
둘이 왜 서로의 거울인지를 설명 3점. (이 과정에서 일대일 대응, 대응하는 것을 쓰지 않으면 1점 감점)
9. 조립식(부분에서 전체로) 2.5점, 불변성질 유지 2.5점.
10. 타입으로 프로그램의 구도(틀)를 잡는다 3점. (타입이란 언급 없으면 1점 감점)
타입 검진 또는 그의 의미 포함 2점.

본인의 점수를 확인해보시고, 문제가 있다면 조교에게 이메일로 문의하시기 바랍니다.
결과에 대한 문의는 일주일동안 (22일까지) 받도록 하겠습니다.

감사합니다.


TA 배요한
e-mail: yhbae@ropas.snu.ac.kr
office: bldg 302, 312-2

TA 김덕은
e-mail: dekim@ropas.snu.ac.kr
office: bldg 302, 312-2