도메인 이론

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

도메인 이론수학에서 특별한 종류의 일반적으로 도메인이라 불리는 부분순서에 대하여 학습하는 한 분야이다. 따라서, 도메인 이론은 주문 이론의 한 분야라고 생각할 수 있다. 이 분야에서 전산학에서 주요 애플리케이션으로 열거하자면 표시적 의미론, 특히 함수 프로그램 언어에서 쓰였다. 도메인 이론은 정식화된 매우 일반적인 방법으로 수렴과 접근에 관한 직관적 아이디어이다. 그리고 위상 기하학에서 닫힌 관계이다. 전산학의 중요한 표시적 의미론이 접근하고 있는 것은 계량 공간이다.