Logic   논리

(2015-12-27)

Mathematical Logic, 수리 논리학

기초과학 1. 과학

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

     
1. 논리 (Logic)

  ㅇ 일반적으로, 논리는 물리적인 형태가 없는 사고(思考) 과정의 전개 형식과 규칙을 말함

  ㅇ 전제(premise)에서 결론(conclusion)에 이르는 추론(과정)의 과학


2. 수리 논리학 (Mathematical Logic)

  ㅇ 논리(학)의 수학적 취급
     - 논리의 엄격한 수학화를 통해, 결론에 이르는 추론 논리의 과학화 영역

  ㅇ 연구 대상
     - 언어의 형식(구문론,Syntatics)과 의미(의미론,Semantics) 및 그들 간의 상호작용


3. 수리 논리(학) 구분명제 논리학(Propositional Calculus)
     - 명제가 참 또는 거짓인가 알 수 있도록 형식화시킨 논리 대수학(Logic Algebra)
        . 명제의 논리적 대수이론 (형식화 이론)
           .. 일반적인 복합명제를 수학적 기호로 취급 분석 => 기호 논리학 

  ㅇ 술어 논리학(Predicate Calculus)
     - 변수가 포함된 문장(명제)를 다룸


4. [살펴봐야 할 사항]

  ㅇ 수리논리학의 기본 단위                      ☞ 명제(命題)컴퓨터과학에서의 논리 값은 {true,false},{1,0} 등 주로, 2치 논리를 말함
  ㅇ 집합연산 개념을 2치 논리 대수에 적용        ☞ 부울대수명제의 진위 여부를 통계적으로 판정하는 방법 ☞ 가설검정


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

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