본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
귀납적^비교^흡수^방법 편집하기 편집 금지 요청
분야
『정보·통신』
「001」추론에 의한 컴퓨터 지식 습득 과정의 하나. 연역적 추론의 일반 규칙으로, 자동 정리 증명에서 비교 규칙이 널리 사용된다.

대역어

영어
inductive resolution rule
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로