게시판 인덱스

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

9번 ppt에,

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 400.002 Engineering Mathematics II (Fall 2005)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
박성찬
손님





올리기올려짐: 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))

이렇게 한정되는 변수들을 서로 다 다른 것으로 만들어도 의미는 같다라는 것이죠.

이렇게 정하는 이유는 식의 의미를 정확히 하나로 기술하고 싶어서 일테죠.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 400.002 Engineering Mathematics II (Fall 2005) 시간대: GMT + 9 시간(한국)
페이지 11

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


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