한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과61건

표시정렬

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

시각적 라인업은 관찰 그래프를 영가설에서 만든 그래프들 사이에 놓고 사람이 구별하는지를 검정 절차로 해석합니다.

Human Factors Influencing Visual Statistical Inference

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

프로그램 보조 언어모델은 문제 해석과 계산 실행의 역할을 나눕니다. 실행이 성공해도 문제를 제대로 옮겼는지 확인해야 하는 이유를 알아봅니다.

PAL: Program-aided Language Models

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

타당화 논증은 관찰에서 채점, 일반화, 실제 수행, 활용 결정으로 넘어가는 근거를 살핍니다. 점수의 정확성과 점수 사용의 정당성을 구별합니다.

A contemporary approach to validity arguments: a practical guide to Kane’s framework

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

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

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

논증과 대화해외 학술 연구 · 연구 해설 · 심화

Wagemans는 논증 유형을 식별할 때 형식·내용·설득의 지렛대를 단계적으로 해석해야 한다고 제안합니다.

How to identify an argument type? On the hermeneutics of persuasive discourse

26–30 / 61편