* 증명의 방법론 - 증명 : 논리적 법칙을 이용하여 주어진 가정으로부터 결론을 유도해내는 추론의 한 방법 어떤 명제나 논증이 적절하고 타당한지 입증하는 작업 - 증명의 단계적 접근 방법 ① 아이디어 스케치 : 문제 해결의 핵심 실마리 기술. 문제해결 방법론 구상 ② 구체적 방법론 제시 : 아이디어를 묶어 구체적 블록 다이어그램으로 표현하거나 프로그래밍의 경우 유사코드 단계까지 구체화 ③ 엄밀한 입증이나 증명의 단계 : 자기가 내린 결론을 객관적인 증명 방법을 통해 누구나 공감할 수 있게 증명하는 일 * 여러 가지 증명 방법 - 증명방법 · 직접증명법 : 논리 함축을 직접 증명하는 것 · 간접증명법 : 논리적 동치 또는 다른 특수 방법으로 증명하는 것(대우 증명법, 존재 증명법 등) · 기타증명법 ① 수학적 귀납법 · 연역법 : 주어진 사실이나 공리들에 입각하여 추론을 통해 새로운 사실 도출 귀납법 : 관찰과 실험에 기반한 가설을 귀납추론을 통해 일반적 규칙을 입증하는 것 · 수학적...
#
goto
#
연역법
#
이산수학
#
전산수학
#
조건문
#
존재증명법
#
증명
#
직접증명법
#
프로그램입증
#
순서문
#
수학적귀납법
#
간접증명법
#
귀납법
#
귀류법
#
대우증명법
#
모순증명법
#
무조건적이동문
#
반례증명법
#
반복문
#
필요충분조건증명법
원문 링크 : 증명법
