Logic   논리

(2015-12-27)

Mathematical Logic, 수리 논리학

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. 명제함수,술어논리학
  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.   기술경영

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