Logic   논리, 로직

(2024-04-26)

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

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


2. [보충설명]

  ㅇ 논리(학)의 수학적 취급  ☞ 수리 논리학 (Mathematical Logic)
     - 논증의 형식화

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

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

  ㅇ 논리의 연결   ☞ 논리 연결자
     - ∧, ∨, ¬, →, ↔ 

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

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

  ㅇ 논리의 연산 (계산 논리)
     - 불리안이라 불리는 값(논리값)들로 이루어진 표현식의 계산을 다룸
        . 복잡한 논리의 전개,분석,계산을, 수학적으로 단순한 연산(계산) 처럼 수행하는 기법
        . 마치 대수학 같이, 식 표현 또는 문제 풀이의 전개 처럼 다루어짐
     - 이러한 논리 전개를, 집합연산을 이용하여 2치 논리 대수로써 공식화한 것  ☞ 부울대수

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

  ㅇ 논리의 컴퓨터 적용   ☞ 프로그래밍, 프로그램 제어 구조(선택구조,반복구조 등), 알고리즘
     - 비지니스 로직 (Business Logic)
        . 업무용 프로그램의 핵심 논리를 구성하는 것으로써, 
        . 데이터(결제 등)가 어떻게 생성,저장,수정되는지를 정의하는 프로그램 규칙

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

[논리]1. 논리   2. 명제(proposition)   3. 술어(predicate)   4. 공리(axiom)   5. 정리(theorem)   6. 정의(definition)   7. 동치(equivalence)  

  1. Top (분류 펼침)      :     1,594개 분류    6,532건 해설

"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"
     [정보통신기술용어해설]       편집·운영 (차재복)          편집 이력