게시판 인덱스

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

Take-home exam B E SIGMA 에 대한 질문

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



가입: 2006년 5월 6일
올린 글: 8

올리기올려짐: 2006년5월8일 20:51    주제: Take-home exam B E SIGMA 에 대한 질문 인용과 함께 답변

B E SIGMA 의 정의가 이상합니다.

B E SIGMA 의 타입이 E를 0으로 만들지 않는 것으로 하는 sigma 들의 집합이 되어야 할 것 같은데요. if 의 정의에서도 보면 nu E ( B E SIGMA ) 이런식으로 쓰이는 것으로 봐선 말이죠. B E SIGMA 의 타입이 분명 { sigma } 즉 SIGMA 이어야 하는데...

SIGMA 의 부분집합들의 set 으로 정의되고 있습니다. { SIGMA } 이렇게요.
타입이 맞지 않는데요. 그냥 B E SIGMA 를 SIGMA의 subset 이면서 여기서의 원소 즉 sigma 로는 E 를 0 으로 만들지 않는다는 식으로 정의하거나, 문제의 SIGMA ' 를 sigma로 바꿔줘야 할 것 같은데요.
실제로 nu E SIGMA 는 0 으로 원소를 포함할 수가 없습니다. 대신 {0} 을 원소로 가질 수는 있겠지만요. 왜냐면 정수들의 집합이 되니까요.

그러니까 B E SIGMA 는 SIGMA의 subset 들의 집합이 아니라 subset 그 자체가 맞는거죠? union { SIGMA' } 이 아니라 그냥 union SIGMA'
위로
사용자 정보 보기 비밀 메시지 보내기
김진일



가입: 2006년 5월 6일
올린 글: 4

올리기올려짐: 2006년5월8일 22:07    주제: 합집합을 하니까 결국 SIGMA(sigma의 셋)이 되지 않을까요 인용과 함께 답변

U{ {1,2}, {2,3}, {6} } = {1,2}U{2,3}U{6} = {1,2,3,6}
이 되는 것처럼 부분집합들을 원소로 가지는 집합에 대하여 전체 Union을 취하면 결국 하나의 부분집합이 나오므로 각각의 숫자를 sigma로 본다면 {sigma}의 형태가 되어 타입 문제는 없을 것 같아 보이네요.
위로
사용자 정보 보기 비밀 메시지 보내기
정우성



가입: 2006년 5월 6일
올린 글: 8

올리기올려짐: 2006년5월9일 2:43    주제: 인용과 함께 답변

어머나~ 그렇군요. 요즘 잠을 별로 못잤더니만...^^;
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 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