| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
강지훈
가입: 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?) |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
