본문바로가기
다분류^논리 편집하기 편집 금지 요청
분야
『정보·통신』
「001」논리 체계의 하나. 논리식에 나타나는 변수가 영역에 따라 여러 가지 부류로 나누어지고, 함수나 술어 또한 인자의 종류에 따라 분류된다. 일반적인 논리에서는 해석에서 영역이 하나인 데 반해, 다류 논리에서는 여러 개가 있을 수 있다.

대역어

영어
many-sorted logic

어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기

+
-
위로