|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
로파스 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
-조교 드림. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|