2006년 12월 16일
Programming Theory 종강
허연 할아버지의 도움으로 숙제를 무사히 제출했습니다. 설마 fail 하지는 않겠죠.
수업에서 건진 주요 내용은
* specification 의 논리적 전개 방법
* invariant 의 중요성
정도인것 같습니다.
pre/post condition 에 대한 이야기 및 그로부터 파생된 weakest precondition. Partial correctness 와 termination 그리고 total correctness 에 대한 내용은 오히려 부수적이었다는 느낌.
시큐어보다는 건진게 많은듯. 약간의 자신감을 키워준 수업이었습니다.
수업에서 건진 주요 내용은
* specification 의 논리적 전개 방법
* invariant 의 중요성
정도인것 같습니다.
pre/post condition 에 대한 이야기 및 그로부터 파생된 weakest precondition. Partial correctness 와 termination 그리고 total correctness 에 대한 내용은 오히려 부수적이었다는 느낌.
시큐어보다는 건진게 많은듯. 약간의 자신감을 키워준 수업이었습니다.
# by | 2006/12/16 03:57 | 공부 | 트랙백 | 덧글(0)
☞ 내 이글루에 이 글과 관련된 글 쓰기 (트랙백 보내기) [도움말]