포스팅에 참고하는 교재 : 4차 산업혁명 시대의 이산수학 개정판 (생능출판) 4.1 증명의 방법론1) 증명(proof)- 논리적 법칙을 이용하여 주어진 가정으로부터 결론을 유도해내는 추론의 한 방법으로서, 어떠한 명제나 논증이 적절하고 타당한지를 입증하는 작업 - 공학이나 컴퓨터 관련 학문에 있어서 주어진 문제를 해결하기 위해서는 증명의 단계적 접근 방식이 매우 효과적임. 2) 증명의 단계적 접근 방법①아이디어 스케치 단계문제 해결의 핵심적인 실마리를 찾아내어 기술문제를 해결할 수 있는 방법론을 구상하게 되며 개략적인 아이디어를 스케치함.②구체적인 방법론 제시 단계아이디어를 묶어서 구체적인 블록 다이어그램(block diagram) 등으로 표현프로그래밍의 경우 유사 코드(pseudo code) 단계까지 ..
