증명과 프로그램은 어떻게 같은 구조를 가질까?
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사123편
검색 결과 제목
증명은 결론만 맞으면 끝일까?
증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.
Proof Theory
게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →
규칙이 충돌할 때, 무엇부터 빼야 할까?
모든 규칙을 한꺼번에 고치기 전에, 더는 줄일 수 없는 모순의 묶음을 찾아봅니다. 체크 상자로 규칙을 빼며 가능한 상태를 확인하세요.
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
게시 2026-09-15 · 약 7분해외 논리학 연구 해설 읽기 →
같은 결론에도 서로 다른 근거가 있을 수 있을까?
정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.
Justification Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
“조건이 참이면 그 조건은 거짓”이라는 문장을 받아들일 수 있을까?
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
51–55 / 123편