한 행의 값만 보면 의존을 판단할 수 있을까?
의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.
Dependence Logic
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과77건
검색 결과 제목
두 대상이 같다는 증거가 여러 가지일 수 있을까?
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?
1차 논리의 콤팩트성 정리는 이론의 모든 유한 부분이 모형을 가지면 전체도 모형을 가진다고 말합니다. 유한 점검과 전체 일관성 사이의 정확한 다리를 살펴봅니다.
First-order Model Theory
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.
Infinitary Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
21–25 / 77편