“단일화”으로 총 1건 검색

• 단일화, 單一化, unification

  ①한정된 변수를 가진 공식의 정리를 증명하기 위한 과정으로서, 어떤 추론 규칙에 의해서 생성된 체계화 공식(wff)이 원래 wff와 동일한 표현이 된다는 것을 증명하기 위해서 변수를 지닌 항들을 상수로 치환하는 작업. ②사례화를 수행하는 처리 절차의 이름. 통합에서는 2개의 기본 단위를 동일하게 하여...