Theorem   정리(Theorem)

(2012-09-11)

Lemma, 보조 정리

1. 정리 (Theorem)

  ㅇ 수학적 논증의 추론 결과에 따라 참으로 증명된 명제
     - 이론에 대한 정의 및 공리, 다른 정리로부터 논리적으로 추론되어지는 것

  ㅇ 공리(Axiom)로부터 유추되는 유용한 결론
     - 통상적으로, 정리는 시행착오,영감,추측 등의 방법을 통해서 발견됨

  ㅇ 결국, 정리는 증명되어야할 유용한 대상인 셈
     - 정리는 증명에 의해 질서정연하게 전개됨


2. 보조 정리 (Lemma)

  ㅇ 어떤 정리를 증명하는데 쓰이는 보조 정리를 말함


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

 
        최근수정     참고문헌