slc

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

에 대해 slc

상징적 람다 미적분은 람다 미적분과 결합 논리에 기초한 논리적 형식주의로, 용어나 평등을 나타낼 수 있는 한 가지 종류의 객체만 있습니다. 그것은 드 브루이진과 람다 미적분 표기법을 사용합니다.