오학주
가입: 2005년 9월 5일 올린 글: 118
|
올려짐: 2006년6월13일 15:08 주제: 기말고사 채점 결과입니다. |
|
|
http://ropas.snu.ac.kr/~ta/4190.664A/06/final.htm
X 인 문제
1. union 이 아니라 intersection 이어야 합니다.
9. F, hat_F 사이의 관계가 빠졌습니다.
11. narrowing 의 조건이 틀렸습니다.(수업자료 참고)
17
1. 0 hat_mod * = 0 이 0 hat_mod * = T 이여야 합니다.
2. * hat_mod * = T 은
>0 hat_mod >0 = >0 등과 같이 더 정확히 정의 할 수 있습니다.
20. 수업 자료 참고
각 M에서 리턴하는 substitution은 S'S, S''S'S 등과 같이
합쳐져야 합니다. |
|