Proof   증명 [Proof], 사실 [Fact]

(2017-02-01)
기초과학 1. 과학

수학
물리/화학
지구,천체 과학
생명과학
 > 수학기초수학
집합,논리
정수론(수론)
해석학(미적분 등)
대수학
확률/통계
수치해법
 > 집합,논리집합
논리와 증명
관계
 > 논리와 증명 1. 논리(Logic),수리 논리학
2. 논리식
3. 명제(proposition)
4. 공리(axiom)
5. 정리(theorem)
6. 정의(definition)
7. 증명(proof)
8. 수학적 귀납법
9. 동치(equivalence)
10. 명제함수,술어논리학

     
1. 증명 (Proof)

  ㅇ 추론에 대해 타당성을 검증하는 것
     - 명제가 참 또는 거짓이라는 정당성을 밝히는 것

  ㅇ 주요 증명 방법
     - 직접 증명법 (Direct Proof)
     - 간접 증명법 (Indirect Proof)
     - 수학적 귀납법 (Mathematical Induction)


2. 사실 (Fact)

  ㅇ 증명 없이도 직관적으로 믿어지는 것
     - 증명 없이 결과 만 제시


[ 논리와 증명 ]1. 논리(Logic),수리 논리학  2. 논리식  3. 명제(proposition)  4. 공리(axiom)  5. 정리(theorem)  6. 정의(definition)  7. 증명(proof)  8. 수학적 귀납법  9. 동치(equivalence)  10. 명제함수,술어논리학  

 
        최근수정     모바일웹     참고문헌