Logic   논리, 로직

(2020-09-22)
1. 논리 (Logic)

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

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


2. [참고사항]

  ㅇ 논리의 단위명제(命題)/논리문
     - 수리논리학의 기본 단위

  ㅇ 논리의 값    ☞ 논리값
     - 컴퓨터과학논리 값은, {1,0} 등 2치 논리를 주로 말함

  ㅇ 논리의 표현
     - 논리 규칙의 수식화 (논리문을 다룸)  ☞ 논리식
     - 2치 논리 대수에 적용한 것           ☞ 부울식

  ㅇ 논리의 회로화
     - 논리 규칙의 회로 소자화             ☞ 논리 소자
     - 논리 규칙에 의한 회로 설계논리 회로 설계

  ㅇ 논리의 연산 
     - 복잡한 논리의 전개,분석,계산을 수학적으로 단순한 연산을 적용하는 기법
        . 마치 대수학 처럼 식 표현 또는 문제 풀이의 전개 방식을 그대로 적용
     - 이러한 논리 전개를, 집합연산을 이용하여 2치 논리 대수로써 공식화한 것  ☞ 부울대수논리식의 간략화
     - 부울대수에 따른 논리식을 간략화할 수 있음  ☞ 부울식의 간략화수학적 논리를 이용하여 컴퓨터를 동작하는 것  ☞ 프로그래밍, 프로그램 제어 구조, 알고리즘

  ㅇ 결론을 이끌어 내는 사고 과정  ☞ 추론
     - 크게, 논리적 추론(연역법추론,귀납법추론 등)과 통계적 추론으로 구분

  ㅇ 명제의 진위 여부를 통계적으로 판정하는 방법  ☞ 가설검정


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

 
        요약목록     참고문헌