 |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인| 검색 결과 4 개 일치합니다 |
| 글쓴이 | 메시지 |
|---|---|
 주제: 또 문법 질문.. |
|
| 박창규 답변: 8 조회: 6275 |
 게시판: 4541.664A Program Analysis (Spring 2009) 올려짐: 2009년4월23일 20:35 주제: 또 문법 질문.. |
| 구현하는데에도 이것들 이외의 것에 대한 접근은 필요하지 않습니다.
맞는 말씀이지만,,,외부에 공개된 D.top이나 D.bottom은 모두 state(D.t)의 top/bottom이 ... |
|
| 주제: 숙제 4에 대해서 알려드립니다. - 기계 상태에 관한 내용이 추가되었습니다. |
|
| 박창규 답변: 9 조회: 8751 |
게시판: 4541.664A Program Analysis (Spring 2009) 올려짐: 2009년4월8일 19:16 주제: 숙제 4에 대해서 알려드립니다. - 기계 상태에 관한 내용이 추가되었습니다. |
| 테스트해보다가 깜짝놀라 글 남겨요^^;;;
기본적으로 제공되는 test.k가 다음과 같은데,,, if x x:= 1; x:=2 y := x 제 경우 x는 ASSIGN이 되어있지 않은 변 ... |
|
| 주제: 숙제 2에 관해서 알려드립니다. [3/22 8:43AM 마지막 수정] |
|
| 박창규 답변: 11 조회: 6318 |
게시판: 4541.664A Program Analysis (Spring 2009) 올려짐: 2009년3월20일 9:50 주제: 숙제 2에 관해서 알려드립니다. [3/22 8:43AM 마지막 수정] |
| 수식을 본지 너무 오래되어서 살짝 헷갈리는게 있는데,,,
SIGMA(INT 1, INT 10, SIGMA(INT 1, INT 10, X)) 위처럼 SIGMA나 INTEGRAL이 중첩될 경우 안쪽 SIGMA, INTEGRAL ... |
|
| 주제: 숙제 2에 관해서 알려드립니다. [3/22 8:43AM 마지막 수정] |
|
| 박창규 답변: 11 조회: 6318 |
게시판: 4541.664A Program Analysis (Spring 2009) 올려짐: 2009년3월18일 17:04 주제: 기한 |
| 기한은 3월 27일 화요일 자정까지 입니다.
제가 알기로는 3월 24일이 화요일입니다만,,,3월 27일 금요일을 의도하셨다면 대환영입니다^^ |
|
시간대: GMT + 9 시간(한국) |
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay