[seongtae_jeong]

안녕하세요.
챌린지 8번 문제의 표기법에 관해 질문이 있습니다.

문제의 설명에서 다음과 같은 기호가 쓰이고 있습니다.



이 두 기호의 의미가 무엇인지 설명을 읽는 것만으로는 완전히 이해가 되지 않는데, 명확히 정의해주실 수 있을까요?

감사합니다.

[이재호]

안녕하세요,

X ⊇ setexp의 경우 프로그램 e의 연립방정식 E를 세우는 규칙으로 명확히 정의되어 있습니다.
X @ Y의 경우 "네번째 규칙은..."에서 설명한 것이 그 정의입니다.
사실 "명확한 정의"는 문제에서 주어진 판단 규칙들 자체입니다.

제가 판단하기로는 챌린지 문서에 나와있는 것으로 충분히 설명이 되는 것 같은데요,
조금 더 고민해보신 후에도 이해가 되지 않으신다면 정확히 어떤 지점에서 이해가 안되는지 알려주시면 좋을 것 같습니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr[/tex]