챌린지 1 질문입니다.

정해찬 · 가입: 2025년 3월 5일 올린 글: 1

안녕하세요,

챌린지 1번의 증명에서 강의자료에 있는 Theorem들(Progress, Subject Reduction, Preservation)을 증명 없이 사용해도 괜찮은지 질문드립니다. 강의자료에 증명의 일부만 실려 있어, 이것까지 완성해야 하는지 궁금합니다.

감사합니다.

오규혁 · Site Admin 가입: 2022년 3월 15일 올린 글: 88

안녕하세요,

채점은 교수님께서 직접 하시기 때문에 제가 확답을 드릴 수는 없지만, 안전하게 증명을 하는 것을 추천드립니다.

조교드림
_________________
TA 오규혁
e-mail: ghoh@ropas.snu.ac.kr