Proof   증명

(2018-03-02)

증명 , 사실

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. 귀류법 10. 동치(equivalence) 11. 명제함수,술어논리학
  1.   기술공통
  2.   기초과학
        1. 과학
    1.   수학
          1. 수학
      1.   기초수학
      2.   집합,논리
        1.   집합
        2.   논리
          1.   1. 논리(Logic),수리 논리학
              2. 논리식
              3. 명제(proposition)
              4. 공리(axiom)
              5. 정리(theorem)
              6. 정의(definition)
              7. 증명(proof)
              8. 수학적 귀납법
              9. 귀류법
              10. 동치(equivalence)
              11. 명제함수,술어논리학
        3.   관계
      3.   해석학(미적분 등)
      4.   대수학
      5.   확률/통계
      6.   수치해법
    2.   물리
    3.   화학
    4.   지구,천체 과학
    5.   생명과학
  3.   진동/파동
  4.   방송/멀티미디어/정보이론
  5.   전기전자공학
  6.   통신/네트워킹
  7.   정보기술(IT)
  8.   공업일반(기계,재료등)
  9.   표준/계측/품질
  10.   기술경영

 
        최근수정     요약목록(시험중)     참고문헌