정리(整理) 증명에서 순환함수 사용
페이지 정보
작성일 23-01-19 20:57
본문
Download : 정리증명에서 순환함수 사용.hwp
CC는 여러 가지가 있지만 본 논문에서는 순수 CC(LEGO에서는 PCC라 한다. 따라서 다음을 의미한다.
M ::= v 변수
| s 종류
| [x:M]M 람다 항
| {x:M}M PI
| MM 응용
{x:A}B는 의 LEGO의 표현이다.
5.2 CC: 문맥(context)의 구조
문맥은 레이블이 붙어 있는 가定義(정이) 리스…(drop),기타,레포트
다. 5. 건설적 계산법 CC[2]
정리(整理) 증명에서 순환함수 사용
CC(Calculus of Constructions)는 의존적 타입理論 시스템으로 대략 고차 논리를 확장한 ...
Download : 정리증명에서 순환함수 사용.hwp( 98 )
레포트/기타
설명
순서
5. 건설적 계산법 CC[2] CC(Calculus of Constructions)는 의존적 타입이론 시스템으로 대략 고차 논리를 확장한 ... , 정리증명에서 순환함수 사용기타레포트 ,
5. 건설적 계산법 CC[2]
CC(Calculus of Constructions)는 의존적 타입theory 시스템으로 대략 고차 논리를 확장한 것이지만 반드시 논리만 있는 것은 아니다.
