컴퓨터 과학 및 기타 참고 자료의 핸드북에있는 Smyth의 장에서는 메트릭 공간을 도메인으로 사용하는 방법을 설명합니다. 완전한 미터법 공간이 고유 한 고정 점을 제공한다는 것을 이해하지만 메트릭 공간이 중요한 이유를 이해하지 못합니다. 다음 질문에 대한 의견을 보내 주셔서 감사합니다. 의미론에서 (울트라 / 쿼시 / 의사) 메트릭 공간을 사용하는 좋은 예는 무엇입니까? …
도메인 이론 범주 (CPO 및 CPO)를 다룰 때 , 나는 종종 도메인 이론에서 범주 이론의 언어에 대한 사전을 원한다.ωω\omega 즉, 개념, 예를 들어, Monic Arrow는 사전에서 찾아보고 다른 도메인 범주에서 알려진 특성을 볼 수 있습니다. 나는이 소망이 기대하기에는 너무 크다는 것을 알고 있지만 그것을 근사하는 텍스트 나 자료가 있습니까?
Martin-Löf 형식 이론, 즉 Coq / Agda로 공식화 된 검증 된 컴파일러에 관심이 있습니다. 현재 나는 작은 장난감 예제를 작성했습니다. 이를 통해 최적화가 올바른지 확인할 수 있습니다. 예를 들어, 0을 사용한 추가는 제거 할 수 있습니다 (예 : "x + 0"과 같은 표현식). 일반적인 컴파일러로는 수행하기 어려운 최적화가 있습니까? 일반 …
이것은 수학 SE 포럼에서 묻는 질문이며 여기에서 언급되었습니다. 여기 질문이 있습니다. 나는 공식 수학과 이론 컴퓨터 과학의 초보자이기 때문에 내 질문이 제대로 틀리지 않았다면 나와 함께하십시오. 객체 지향 모델링은 실제 세계를 시뮬레이션 할 때 복잡한 상호 작용을 정의하는 데 매우 유용합니다. 그러나 그것은 주로 프로그래밍에 사용됩니다. 우리가 수학에서 비슷한 개념을 …