게시판 인덱스

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

기말고사, 숙제4 채점결과입니다.(이의제기반영-0626)

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


가입: 2012년 9월 9일
올린 글: 280

올리기올려짐: 2017년6월19일 15:07    주제: 기말고사, 숙제4 채점결과입니다.(이의제기반영-0626) 인용과 함께 답변

채점이 늦어져 죄송합니다.

기말고사와 이의제기가 반영된 숙제4 점수입니다.

기말고사 관련 이의제기를 원하시는 분은 오늘까지 메일 주시기 바랍니다.

성적입력마감이 얼마 안남아서 이의제기 시간을 충분히 드리지 못하는 점 죄송합니다.

아래는 기말고사 채점기준입니다.


1번 - -14 ~ 14점

OOOXOOO

2번 - 6점

2-1 : 순서 정의 제대로 하면 1.5점씩
2-2 : 알파감마 정의 1점, 갈로아연결 증명 2점

3번 - 20점

3-1, 3-2 :
축지법의 조건 2가지 서술 : 5점
주어진 연산이 조건을 만족함을 보이면 5점 -> 첫번째 2점, 두번재 3점

4 - 10점
4-1
id < ra , ar < id 를 이용해서 식을 이어나가면 3점,

4-2 :
id < ra , ar < id 를 이용해서 식을 이어나가면 5점
알파 감마 f,g가 연속/단조라 이 성질들이 만족된다는걸 언급하면 2점

5 - 20점

감마를 제대로 정의하고 - 10점
타입에 맞춰서 알파 (+-)/mod 감마 를 써주면 - 10점
혹은
+-의 7가지에 대해 전부 정의 - 7점
mod의 49가지에 대해 전부 정의 - 13점(맞지만 일부분의 정확도가 낮은 경우 7점)

6 - 30점
Value 정의-3점
Memory 정의- 2점
at, ->, + 정의 - 5점(2,2,1점)
B(assume) 정의 - 5점(필터링의 개념이 들어가있으면 정답, 일부분만 올바르게 처리했으면 3점)
처음에 바텀메모리에서 시작해서 x := 10이 계산되고, 그 계산결과가 와일문으로 들어가는 부분 - 5점

와일문의 한바퀴, F에 해당하는 부분을 잘 정의하면 5점
F를 계속 먹여서 픽스포인트 도달하는부분 5점
혹은
widening, narrowing을 통해 메모리가 변해가는 과정 각각 5점씩



기말고사 점수
http://ropas.snu.ac.kr/~ta/4541.664A/17/score_exam.pdf

숙제 4 점수
http://ropas.snu.ac.kr/~ta/4541.664A/17/score_hw4.pdf

테스트케이스
http://ropas.snu.ac.kr/~ta/4541.664A/17/4-1.txt
http://ropas.snu.ac.kr/~ta/4541.664A/17/4-2.txt



-조교 드림.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2017) 시간대: GMT + 9 시간(한국)
페이지 11

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


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