- 분야
-
『정보·통신』
- 「001」프로그램의 수행 효과를 형식적인 문장으로 표현하여 의미를 나타내는 접근법. 하드웨어의 상태뿐만 아니라 계산 과정이나 별도의 중간 과정 따위를 명시하지 않는다.
관련 어휘
- 비슷한말
- 공리^의미론(公理意味論), 공리적^의미론(公理的意味論)
대역어
- 영어
- axiomatic semantics
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
이 누리집은 대한민국 공식 전자정부 누리집입니다.
