이 누리집은 대한민국 공식 전자정부 누리집입니다.
- 분야
-
『정보·통신』
- 「001」어떤 과학적 명제를 검증하는 데 사용하는 검증 방법의 하나. 개념 인식에 대한 규칙의 집합으로 간주하며, d>k는 한 객체가 d를 만족시킬 때 그 객체는 k의 한 예라는 개념을 표현한 것이다. 컴퓨터 프로그램을 검증하는 일 따위에 사용한다.
관련 어휘
- 비슷한말
- 귀납적^표명(歸納的表明)
대역어
- 영어
- inductive assertion
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
