Definition   정의 (definition)

(2017-04-20)

Undefined Word, 무정의 용어, Undefined Term, 무정의 술어, 정의

1. 정의 (Definition)

  ㅇ 정확한 의미를 전달하기위해 개념의 내용을 한정하여 설명하는 문장이나 식을 말함
     - 어떤 이론의 논리를 정립하기 위해 필요함 

  ㅇ < 정의의 형식 구분 >
     - 설명 정의 형식
     - 밝힌 정의 형식


2. 무정의 용어(Undefined Word) 또는 무정의 술어(Undefined Term)

  ㅇ 모든 것을 일일이 다 정의할 수 없음
     - 특히 집합(Set)은, 굳이 정의하지 않고 사용되는 원시적 개념(무정의 용어)이라고 함
        . 집합론 무정의 용어 例) `집합`,`속한다`,`요소가 같다` 등
        . 논리학 무정의 용어 例) `문장`,`참`,`거짓` 등
     - 기하학에서,
        . 점,직선,평면 등은 구체적으로 정의하지 않고, 상호관계를 공리로써 규정하고,
          그 개념에 의거해서 이론체계가 수립됨


[논리와 증명] 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.   기술경영

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