이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
lhaeuk
가입: 2009년 5월 13일 올린 글: 2
|
올려짐: 2009년5월13일 17:02 주제: hw 7 질문 있습니다 |
|
|
PowerSetDomain에서 TOP을 집합 A의 powerset 전체집합으로 생각하면
된다고 하셨는데요
그럼 TOP에서 element 하나를 제거할 때, 전체 집합을 생각하여 operation을
수행해야 하는건가요?
예를 들어 module P = PowerSetDomain(A) 에서 A = {0, 1} 이었다면
P.remove {0} P.top 을 하게 되면
{ 0(공집합), {0}, {1}, {0, 1}} - {{0}} 과 같이 생각하면 되는 것인지
궁금합니다. |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년5월13일 17:40 주제: |
|
|
인용: |
그럼 TOP에서 element 하나를 제거할 때, 전체 집합을 생각하여 operation을
수행해야 하는건가요?
|
그렇습니다.
인용: |
예를 들어 module P = PowerSetDomain(A) 에서 A = {0, 1} 이었다면
P.remove {0} P.top 을 하게 되면
{ 0(공집합), {0}, {1}, {0, 1}} - {{0}} 과 같이 생각하면 되는 것인지
궁금합니다.
|
잘못 이해하신 부분이 있습니다.
위에서 예로든 인 것은 맞습니다만,
하지만 여기에서의 TOP은 이지, 이 아닙니다.
따라서 P.remove {0} P.top 이 아닌, P.remove 0 P.top 을 하게 되고,
이 때의 결과는 {1} 이 나오게 됩니다. _________________ - soon@ropas |
|
위로 |
|
|
lhaeuk
가입: 2009년 5월 13일 올린 글: 2
|
올려짐: 2009년5월13일 17:52 주제: |
|
|
네, 감사합니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|