이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
강지훈
가입: 2008년 9월 2일 올린 글: 291 위치: 302동 312-2호
|
올려짐: 2009년5월1일 14:57 주제: 강의록 74-108 11페이지 apllication에 대해서 |
|
|
.. sigma'{x -> (sigma' x) union (V E_2 sigma)}..
이런 식으로 도어 있는데
..{x -> V E_2 sigma}..
이렇게 하는게 맞지 않나요? 이전 x값을 들고 있는게 이상해보여서.. _________________ 강지훈
프로그래밍의 원리 조교
Jeehoon Kang
TA, Principles of Programming |
|
위로 |
|
|
이광근
가입: 2005년 8월 29일 올린 글: 68
|
올려짐: 2009년5월3일 12:45 주제: Re: 강의록 74-108 11페이지 apllication에 대해서 |
|
|
강지훈 씀: | .. sigma'{x -> (sigma' x) union (V E_2 sigma)}..
이런 식으로 도어 있는데
..{x -> V E_2 sigma}..
이렇게 하는게 맞지 않나요? 이전 x값을 들고 있는게 이상해보여서.. |
옳은 지적.
요약이전은 필요없습니다.
요약이후는 필요하게됩니다.(why?) |
|
위로 |
|
|
|