Definition   정의 (definition)

(2017-02-01)

Undefined word, 무정의 용어, 정의 [Definition]

기초과학 1. 과학

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

     
1. 정의 (Definition)

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

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


2. 무정의 용어(Undefined word)

  ㅇ 모든 것을 일일이 다 정의할 수 없음
     - 특히, 집합(Set)은 굳이 정의하지 않고 사용되는 원시적 개념(무정의 용어)이라고 함
         . 집합론 무정의 용어 例) `집합`,`속한다`,`요소가 같다` 등
         . 논리학 무정의 용어 例) `문장`,`참`,`거짓` 등


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

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