연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
괴델의 제1·제2불완전성 정리를 번호 부호화, 대각화, 무모순성과 오메가 무모순성, 로서의 개선, 1차 논리 완전성 정리와의 차이까지 단계별로 설명합니다.
Gödel's Incompleteness Theorems
확장자와 선언된 MIME 형식은 쉽게 어긋날 수 있습니다. 파일 이름·Content-Type·내용 시그니처를 바꾸며 세 단서의 일치 여부를 검사합니다.
Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.
Linear Logic
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
1–5 / 82편
