글쓴이 |
메시지 |
주제: 서성현학생 봐주세요 :) |
이기석
답변: 26
조회: 33445
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년12월14일 0:32 주제: 서성현학생 봐주세요 :) |
저는 "일반적인 별자리 운세"의 정의를 아래와 같이 알고 있었고, 그에 따라 문제를 해석한 겁니다.
별자리운세 = {x | x는 사람 P를 받아 good luck과 ... |
주제: 서성현학생 봐주세요 :) |
이기석
답변: 26
조회: 33445
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년12월11일 23:38 주제: 서성현학생 봐주세요 :) |
★step 4.
만약 제가 이렇게 이해한 것이 맞게 이해한 것이라면,
soundness의 정의와 completeness의 정의가 같아져버리는
심각한 모순이 발생합니다.
... |
주제: 서성현학생 봐주세요 :) |
이기석
답변: 26
조회: 33445
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년12월11일 6:40 주제: 서성현학생 봐주세요 :) |
기석님은 '항상 맞아떨어진다'를 이렇게 해석하셨군요.
"운세 알고리즘이 good luck을 리턴했을 때에만,
운세 알고리즘이 리턴하는 결과와 현실 세 ... |
주제: 서성현학생 봐주세요 :) |
이기석
답변: 26
조회: 33445
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년12월10일 0:50 주제: 서성현학생 봐주세요 :) |
'(1) (2)에 의해 안전하다'
라면 모를까
'(1) 에 의해 안전하다'
라는 것은 틀린 것 같습니다.
어째서 틀린가요?
전 맞다고 생각하는데..
왜냐 ... |
주제: 서성현학생 봐주세요 :) |
이기석
답변: 26
조회: 33445
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년12월9일 3:59 주제: 서성현학생 봐주세요 :) |
``항상 맞아떨어진다''의 정의
(1) 운세가 좋다 -> 그 사람은 성공한다
(2) 운세가 나쁘다 -> 그 사람은 실패한다
(1)에 의해 안전하고, (2)의 대 ... |
주제: 서성현학생 봐주세요 :) |
이기석
답변: 26
조회: 33445
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년12월9일 3:25 주제: Re: 서성현학생 봐주세요 :) |
↓밑에 답변을 쓰다가 실수로 이상하게 됐네요; |
주제: 5-1 조금 난해할 수도 있는 테스트셋(updated) |
이기석
답변: 7
조회: 4759
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월10일 22:40 주제: 5-1 조금 난해할 수도 있는 테스트셋(updated) |
let
x := malloc(3)
in
(x + 0) := 0;
(x - (-1)) := 1;
(2 + x) := 2;
let
y := 0
in
y := x + 6;
write ... |
주제: 퀴즈2 해답이 올라왔습니다. |
이기석
답변: 3
조회: 5953
|
게시판: 400.002 Engineering Mathematics II (Fall 2005) 올려짐: 2005년11월10일 10:52 주제: 퀴즈2 해답이 올라왔습니다. |
저도 퀴즈시간에 조교님께
각 Predicate은 이름과는 상관없는
임의의 해석을 가지는지에 대해 질문드렸는데
그렇다는 대답을 듣고 그에 맞게 문 ... |
주제: 5-2번 질문입니다. |
이기석
답변: 1
조회: 1721
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월5일 22:56 주제: 5-2번 질문입니다. |
5-2번은 trans함수와 Sm5x모듈 두 개를 제출하도록 돼있는데
그러면 5-1번에서 문제됐던 부분을 개선한 Sm5x 모듈을 제출해도
됩니까? (Location과 정수를 ... |
주제: HW 5-1 에관한 질문입니다. |
이기석
답변: 4
조회: 2806
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월5일 14:30 주제: HW 5-1 에관한 질문입니다. |
정 그렇게 하라면 해야지요 |
주제: HW 5-1 에관한 질문입니다. |
이기석
답변: 4
조회: 2806
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월5일 2:52 주제: HW 5-1 에관한 질문입니다. |
글쎄요;;
단적으로
Sm5의 semantic을 보면 심지어는 Memory에 Sm5.malloc을 통해 생성된
Location을 담을 수 조차 없습니다.
K--의 구문 중 x := malloc(3); 이럴 ... |
주제: HW 5-1 에관한 질문입니다. |
이기석
답변: 4
조회: 2806
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월4일 16:22 주제: HW 5-1 에관한 질문입니다. |
조교님 안녕하세요
Sm5의 semantic을 보면 ADD는 정수끼리의 덧셈만 할 수 있도록 돼있습니다.
이에 반해 K--의 경우 Location과 정수의 덧셈, Location끼 ... |
주제: HW5 의 1번에서 질문입니다. |
이기석
답변: 1
조회: 1675
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월31일 16:44 주제: HW5 의 1번에서 질문입니다. |
테스트를 위해 Sm5.run (trans(E)) 를 실행해야할텐데
어떻게 해볼 수 있습니까?
main.n 의 K.run (K.emptyMemory, K.emptyEnv, pgm) 부분을
Sm5.run (trans pgm) 으로 고 ... |
주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다. |
이기석
답변: 4
조회: 2801
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월30일 22:32 주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다. |
아 그리고 이번 숙제의 배점이 10점씩 가산된다고 하셨는데
그럼 이번숙제의 배점은 35, 50, 40 점이 되는건가요? (덜덜) |
주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다. |
이기석
답변: 4
조회: 2801
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월30일 21:08 주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다. |
ASSIGNG에서 K--의 정의를 보면 Unit을 리턴하게 돼있는데
k.n의 ASSIGNG를 보면 ASSIGNG (e1, e2) 에서의 e2를 평가한
결과값이 리턴되도록 돼있습니다.
인 ... |
|