의미론 (Semantics) 1. 개요 의미론(Semantics)은 언어학의 한 분과로, 언어 표현(단어, 구, 문장 등)이 가지고 있는 '의미'의 본질과 구조, 그리고 그것이 생성되는 원리를 체계적으로 연구하는 학문이다. 의미론은 단순히 단어의 사전적 정의를 찾는 것을 넘어, 기호(Sign)가 어떻게 특정한 개념과 연결되며, 개별 단어의 의미가 결합하여 …
검색 결과
"형식 의미론"에 대한 검색 결과 (총 2개)
보존 정리 개요 보존 정리(Preservation Theorem), 또는 형식 보존(type preservation), 때때로 진전과 보존(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 형식 시스템(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지정된 프로그램이 한 단계 계산(evalua…