이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김성준
가입: 2009년 9월 10일 올린 글: 30
|
올려짐: 2010년3월26일 13:42 주제: Hw3의 Ex3에서 CPO의 order는 어떤건가요? |
|
|
order는 type이 t * t -> bool 인데요. 교제에 나오는 partial order를 말하는건가요? 만약에 그렇다면 어떨 때 true가 되는건가요? |
|
위로 |
|
|
허기홍
가입: 2007년 9월 27일 올린 글: 231
|
올려짐: 2010년3월28일 16:50 주제: |
|
|
partial order 맞습니다.
(첫번째 인자 <= 두번째 인자) 이면 true 아니면 false입니다. |
|
위로 |
|
|
|