게시판 인덱스

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

숙제3에서 2번 문제가 잘 이해되지 않습니다.

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2006)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
윤주영
손님





올리기올려짐: 2006년4월28일 14:57    주제: 숙제3에서 2번 문제가 잘 이해되지 않습니다. 인용과 함께 답변

숙제3의 2번 문제에서, 각 경우마다 하나씩 요약해석을 정의하라고 하셨는데,
여기서의 각 경우란 궁극의 의미구조와 계산과정을 드러내는 의미구조 둘을 말하는 겁니까?
그렇다면 수업시간에 칠판에다 보여주신 요약해석 정의를 다시 써서 내라는 의미로 해석해도 되는건가요?
위로
진민식



가입: 2006년 3월 21일
올린 글: 67

올리기올려짐: 2006년4월30일 0:12    주제: 인용과 함께 답변

먼저 답변이 늦어서 죄송합니다.

숙제 3번의 2번 문제는
2가지 스타일(denotational, oprational)로 요약해석을 정의하고
각각에 대해서 요약해석의 틀내에서 안전함을 보이는 것입니다.
따라서 denotational semantics로 정의한 요약해석과
oprational semantics로 정의한 요약해석 2개를 하시면 됩니다.

숙제에서는 요약도메인과 요약의미함수를 특별이 지정하지 않았습니다.
따라서 분석하고자 하는 용도(음수인가 양수인가? 혹은 짝수인가 홀수인가? 등등)
에 맞게 요약도메인과 요약의미함수를 정의하면 될 것입니다.
수업시간에 교수님이 정의하셨던 요약도메인과 요약의미함수를
사용하셔도 무방합니다.

그리고 각 요약해석이 올바르다는 것을 보여주는 증명은
완전해야 합니다.
예를들어 수업시간에 교수님이 보여주신 증명에서는 증명에
필요한 부분을 옳다고 가정만하고
그 가정하에서 증명을 진행한 경우가 있습니다.
따라서 숙제에서는 증명없이 가정만 하고 넘어간 부분에
대해서도 그 가정이 옳다는 것을 보여주어야 할 것 입니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2006) 시간대: GMT + 9 시간(한국)
페이지 11

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


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