증명과 프로그램은 어떻게 같은 구조를 가질까?
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
전국 9학년 무작위 실험과 여러 연구 메타분석을 선택해 표본·설계·대상에 따라 허용되는 결론을 구분합니다.
A national experiment reveals where a growth mindset improves achievement
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
같은 완료 인원을 참여자와 전체 초대 집단이라는 서로 다른 분모로 계산하고, 비교 기준에 맞춰 결론 문장의 범위를 고칩니다.
Analyzing and Interpreting Data
세 모임의 순서를 여섯 가지로 펼쳐 보고, 조건을 하나씩 적용하면서 가능한 배치와 유일한 배치를 구별합니다.
Lecture 3: Optimization · Constraint Satisfaction
26–30 / 71편