전제를 한 번 쓰고 버려야 하는 논리도 있을까?
선형논리는 전제를 무한히 복제하거나 버릴 수 있다는 구조 규칙을 제한해, 명제를 소비되는 자원처럼 추적합니다.
Linear Logic
게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과91건
검색 결과 제목
인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.
Solving Olympiad Geometry without Human Demonstrations
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
4,290개 퍼즐의 Mystery-Zebra는 논리 구조, 난이도와 표면 표현의 영향을 분리해 평가합니다.
Lexical Recall or Logical Reasoning: Probing the Limits of Reasoning Abilities in Large Language Models
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
DeepSeek-Prover-V1.5는 Lean 4 검증 피드백을 강화학습과 트리 탐색에 이용해 형식증명 성능을 평가했습니다.
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?
HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
66–70 / 91편