형 이론

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

형 이론은 수학, 논리학 그리고 컴퓨터 공학에서 유연한 집합 이론 (naive set theory)의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.

같이 보기 [편집]

원본 주소 "http://ko.wikipedia.org/w/index.php?title=형_이론&oldid=10673276"