Logic   논리, 로직

(2020-09-22)
Top > [기술공통]
[기초과학]
[진동/파동]
[전기전자공학]
[방송/멀티미디어/정보이론]
[통신/네트워킹]
[정보기술(IT)]
[공학일반(기계,재료등)]
[표준/계측/품질]
[기술경영]
기초과학 >   1. 과학
[수학]
[물리]
[화학]
[지구,천체 과학]
[생명과학]
[뇌과학]
수학 >   1. 수학
[기초수학]
[집합,논리]
[해석학(미적분 등)]
[대수학]
[확률/통계]
[수치해법]
집합,논리 > [집합]
[논리]
[관계]
논리  1. 논리
  2. 명제(proposition)
  3. 술어(predicate)
  4. 공리(axiom)
  5. 정리(theorem)
  6. 정의(definition)
  7. 동치(equivalence)
[추론,논증]
[수리논리(논리기호 등)]

1. 논리 (Logic)

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

  ㅇ 전제(premise)에서 결론(conclusion)에 이르는 추론(과정)의 과학
     - 추론은, 결론을 이끌어 내는 사고 과정
     - 크게, 논리적 추론(연역법추론,귀납법추론 등)과 통계적 추론으로 구분


2. [보충설명]

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

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

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

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

  ㅇ 논리의 연산 
     - 복잡한 논리의 전개,분석,계산을 수학적으로 단순한 연산을 적용하는 기법
        . 마치 대수학 처럼 식 표현 또는 문제 풀이의 전개 방식을 그대로 적용
     - 이러한 논리 전개를, 집합연산을 이용하여 2치 논리 대수로써 공식화한 것  ☞ 부울대수

  ㅇ 논리의 간략화
     - 부울대수에 따른 논리식을 간략화할 수 있음  ☞ 부울식의 간략화

  ㅇ 논리의 컴퓨터 적용   ☞ 프로그래밍, 프로그램 제어 구조, 알고리즘명제의 진위 여부를 통계적으로 판정하는 방법  ☞ 가설검정


[논리] 1. 논리 2. 명제(proposition) 3. 술어(predicate) 4. 공리(axiom) 5. 정리(theorem) 6. 정의(definition) 7. 동치(equivalence)
[추론,논증] [수리논리(논리기호 등)]

    요약목록

Copyrightⓒ written by 차재복 (Cha Jae Bok)     (소액후원)