이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
박성찬 손님
|
올려짐: 2005년10월24일 21:46 주제: 9번 ppt에, |
|
|
"assuming that every bound variable is unique"
라는 건 무슨 뜻인가요? |
|
위로 |
|
|
박성찬
가입: 2005년 10월 24일 올린 글: 3
|
올려짐: 2005년10월24일 22:23 주제: |
|
|
등록하지 않고 썼더니 수정도 삭제도 안 되네요 -_-
...
아무튼 저 말을,
"어느 한 곳에서 bound variable로 사용된 변수가, 다른 곳에서 bound variable이나 free variable로 다시 사용되지 않는다고 가정한다"
로 이해하면 바르게 이해한 걸까요?
ppt에 주어진 문장은 너무 간단해서 의미가 잘 와닿질 않네요. |
|
위로 |
|
|
정영범
가입: 2005년 9월 5일 올린 글: 167
|
올려짐: 2005년10월27일 9:43 주제: |
|
|
예 그렇게 이해하시면 됩니다.
예를 들어,
!x.(f(x) and ?x.g(x))
앞의 두개의 x 는 서로 같고
뒤의 두개의 x는 서로 같으면서 앞의 두개의 x와는 다른 것으로 봐야
한다는 의미입니다.
바꿔 말하면 !x 는 두 번째 x만 한정(bound)하고
?x는 마지막 x만 한정(bound)한다는 것입니다.
!x.(f(x) and ?y.g(y))
이렇게 한정되는 변수들을 서로 다 다른 것으로 만들어도 의미는 같다라는 것이죠.
이렇게 정하는 이유는 식의 의미를 정확히 하나로 기술하고 싶어서 일테죠. |
|
위로 |
|
|
|