연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
장이브 지라르의 《Linear Logic》(1987)을 따라, 전제의 사용에서 증명망과 정규화까지 읽습니다. 14개의 문답, 15개의 생각그림, 세 가지 실험을 함께 담았습니다.
Jean-Yves Girard, Linear Logic (1987)
이브 라퐁의 《Soft Linear Logic and Polynomial Time》(2004)을 따라, 복제의 규칙에서 계산량의 상한까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험으로 다항시간 보증의 조건을 확인합니다.
Yves Lafont, Soft Linear Logic and Polynomial Time (2004)
Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.
Linear Logic
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
부분구조논리는 교환·축약·약화 같은 구조 규칙을 선택적으로 제한해, 전제의 순서·수량·관련성이 추론에 미치는 영향을 드러냅니다.
Substructural Logics
1–5 / 8편
