수학 증명은 기호가 맞으면 대화 목적과 무관할까?
수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.
The Informal Logic of Mathematical Proof
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

해외 학술 연구의 7개 분야
수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.
The Informal Logic of Mathematical Proof
ProofWriter는 정답 분류와 명시적 증명 생성, 모든 결론 열거와 제한적 역추론을 서로 다른 과제로 평가합니다.
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Panadero와 Jönsson의 21편 고찰은 루브릭이 기대를 투명하게 만들 수 있지만, 효과가 자기평가·피드백 같은 활동과 뒤섞여 단독 효과는 불확실하다고 봤습니다.
The Use of Scoring Rubrics for Formative Assessment Purposes Revisited: A Review
ICAP 틀은 겉으로 보이는 참여를 수동·활동·구성·상호작용으로 나누고, 새 추론 생성 여부를 묻습니다.
The ICAP Framework: Linking Cognitive Engagement to Active Learning Outcomes
애니메이션과 정지 그림의 비교가 공정하려면 정보량과 다시보기 조건을 어떻게 맞춰야 하는지 살펴봅니다.
Animation: Does It Facilitate Learning?
406–410 / 480묶음