게시판 인덱스

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

숙제 1 채점결과입니다.

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


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

올리기올려짐: 2017년4월19일 14:02    주제: 숙제 1 채점결과입니다. 인용과 함께 답변

안녕하세요 수강생 여러분.

숙제 채점결과입니다.

궁금하신 점이 있거나 이의제기를 원하시면 메일/답변주시기 바랍니다.


http://ropas.snu.ac.kr/~ta/4541.664A/17/hw1/score.pdf


5~10번문제 채점기준은 아래와 같습니다.


5번
성질 정의 3점
기본케이스 2점
귀납케이스 2,3점

6번
기본케이스 3점
귀납케이스 각 2,2,3점 (귀납가정을 제대로 사용하지 않은 경우 1점씩 감점)

7번
고정점임을 5점
f U(x) = U(f(x)) 임이 f가 연속함수이기 때문에 성립한다는 사실을 언급하지 않으면 1점 감점

그것이 최소임을 증명 5점
고정점이면 UB임을 증명 2점
따라서 LUB보다 크다는 것을 증명 3점


8번
파셜오더 정의 및 3가지 성질증명 3점
그 정의에 따라 바텀을 정의 및 증명 2점
체인의 lub 포함하는것 5점
Uf 를 일단 정의하고, 1 점
그것이 f_i 들의 lub임을 증명하고, 2점
Uf가 A->B 안의 연속함수임을 증명. 2점
(결론 : 따라서 A->B의 연속함수 f_i들의 체인의 lub는 A->B의 연속함수이다.)

9번
각 2점

10번
next의 개념을 가진 식을 활용했으나 답은 아닌경우 5점
정답인 경우 10점[url][/url]
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 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