한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과101건

표시정렬

논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

2026년 MA-ProofBench는 해석학 200문제를 학부·박사자격 수준으로 나눠 평가했고, 최고 일반 모델도 Pass@8 16%와 5%에 머물러 분야·난도별 검증의 필요성을 보였습니다.

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

Truth or Square 연구의 세 실험을 통해 막대의 가로세로 비율이 위치값 기억을 정사각형 쪽으로 끌어당기는 편향을 만들 수 있음을 살펴봅니다.

Truth or Square: Aspect Ratio Biases Recall of Position Encodings

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

Elwert와 Winship은 서로 독립인 두 원인이 공통 결과에 모일 때 그 결과를 조건화하면 가짜 연관이 열리는 선택 편향을 인과 다이어그램으로 통합했다.

Endogenous Selection Bias: The Problem of Conditioning on a Collider Variable

논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

직접 그리기 실험은 그림의 정확성, 내용 회상, 새로운 상황으로의 적용을 서로 다른 결과로 측정해야 함을 보여 줍니다.

Learning with self-generated drawings and the impact of learners’ emotional states

26–30 / 101편