|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
이우석
가입: 2007년 9월 26일 올린 글: 72
|
올려짐: 2014년5월19일 17:14 주제: 숙제 3 채점결과 |
|
|
숙제 3 채점결과입니다.
문제 1과 2가 각각 50점, 총점은 100점입니다.
점수 : http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw3score.pdf
모범답안 : http://ropas.snu.ac.kr/~ta/4541.664A/14/anounce/hw3answer.pdf
채점기준은 다음과 같습니다.
문제 1 :
- 모듬의미 정의 10점 - 도메인 5점, 모듬실행의미 5점
- 갈로아 연결 정의 5점
- 요약의미 정의 10점
- 안전성 증명 25점
-- 기본 연산자들(+,-,변수의 값 검색, 변수에 값 할당)의 안전성 5점
-- [[E]]의 요약본의 안전성 5점
-- [[C]]의 요약본의 안전성 10점
--- assign, sequence, if, repeat 각각 3,3,3,4점
-- [[B]](분기 결정 함수)의 요약본의 안전성 5점
문제 2 : 문제1에 비해 달라지는 부분에 대해서만 배점이 있음
- 모듬의미 정의 10점 - 도메인 5점, 모듬실행의미 5점
-- *x=E, *x, &x 의 모듬실행의미가 잘 쓰였는지 봄
- 갈로아 연결 정의 5점
- 요약의미 정의 10점
-- *x=E, *x, &x 의 요약실행의미가 잘 쓰였는지 봄
- 안전성 증명 25점
-- 기본 연산자들의 안전성 5점
-- [[E]]의 요약본의 안전성 5점
--- &x, *x의 요약의미의 안전성 증명이 잘 되었는지 살펴봄
-- [[C]]의 요약본의 안전성 10점
--- *x=E의 요약의미의 안전성 증명이 잘 되었는지 살펴봄
-- [[B]](분기 결정 함수)의 요약본의 안전성 5점
--- 1번에서 맞게 증명하고 1번과 동일하다고 간주될 경우 5점. 그렇지 않으면 감점
점수에 이의가 있으시거나, 혹시 채점에 착오가 있다고 여겨지시는 분들은
제 이메일 주소로 wslee@ropas.snu.ac.kr 로 방문하실 수 있는 요일과 시간을 미리 알려주시고 138동 215호로 오시기 바랍니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|