수다닷컴

자료구조 과제를 하고 있는데요..

이걸 어떻게 써야할지 모르겠어서..

질문좀 할게요..ㅠㅠ

precondition과 postcondition을 쓰는 문제인데.

(1)
if (x = 0) y = x + y;
else y = y - x;

이문제의
precondition이 뭔가요???
그리고
postcondition은
x가 0보다크거나 같을때
y=x+y이고
x가 0보다 작으면
y=y-x이다

이렇게 쓰면 될까요?

(2)
/* precondition : m = n */
s = 0;
for (i = m; i = n; i++)
s += i;postcondition은

m부터 n까지의 정수의 합을 구한 값

이렇게 쓰면 될까요??

아니면 수학적인 기호로 써야할까요?아 감이 안잡히네요..ㅠㅠ 도와주세요

신청하기