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.   기술경영

 
        최근수정     요약목록     참고문헌