게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 3 채점결과

 
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이우석



가입: 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호로 오시기 바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2014) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay