검색 결과 11 개 일치합니다

1, 2. 어떤 언어에서 증명하면 되나요?

3. factorial을 어떻게 구현할지만 작성하면 되나요?
일반적으로 재귀함수를 어떻게 simple type system에서 구현하는� ...

이전 게시판 질문에서 "주소값 <base, offset> 에서 base가 같은 주소들은 하나의 메모리라고 생각하시면 되겠습니다. 즉, base값만 알고있다면 offset� ...

FORT에서 x는 이미 Env에 정의된 x만 들어오는 건가요?

휴강임에도 줌링크가 열려있는 것 같습니다.
확인 부탁드립니다.

또한, 구현해야 할 함수 shoppingList의 argument로 들어오는 require list에 대해서 질문합니다.
require list는 항상 A, B, C, D, E에 대한 cond list가 들어오나요 (없다 ...

조카한테 사줄 선물이 없을 때, 주어진 pdf에는 nil을 리턴하라고 나와있는데
빈 리스트 []를 리턴하면 되나요?

k-.pdf에 EQUALT가
v1 = v2 = n
∨ v1 = v2 = b
∨ v1 = v2 = ·
까지만 나와있는데, 그러면 레코드가 같은 경우는 없는 건가요?

MEM이나 ENV에서 정의된 예외에 대해 질문드립니다. (Mem.Not_allocated, Mem.Not_initialized, Env.Not_bound)
MEM이나 ENV에서 정의된 예외가 발생했을 때는 그냥 놔두면 ...

reference + (for 또는 while)을 사용해서 C언어처럼 코드를 작성해도 되나요,
아니면 되도록이면 재귀만을 사용해서 코드를 작성해야 하나요?

또한, 숙제할 때 정의하라고 한 함수 외에도 다른 함수들도 정의해도 되나요?
예를 들어, 1-4 참거짓에서 expr의 값을 계산하는 expr_eval 함수가 있으면 좋 ...

1-7 계산해줘
MAX에서 비교하는 값들은 전부 양수인가요?

2-2 Mathemadiga
Power의 지수는 양수인가요?

2-4 Queue = 2 Stacks
여기서 queue의 타입은 자유롭게 � ...