Theorem   정리 (Theorem)

(2020-07-10)

정리, Lemma, 보조 정리, Corollary, 따름 정리

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

  ㅇ 공리(Axiom)로부터 유추되는 유용한 결론
     - 정리는 시행착오,영감,추측 등의 방법을 통해서 발견되고,
     - 그 정리는 반드시 증명되어야 함

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


2. 보조 정리 (Lemma)

  ㅇ 어떤 정리를 증명하는데 쓰이는 디딤돌 역할을 하는(보조적인) 정리를 말함


3. 따름 정리 (Corollary)

  ㅇ 어떤 정리에서 바로 유도되는 정리로써, 주로 이용가치가 높은 것을 말함


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

 
        최근수정     요약목록     참고문헌