연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
판단의 정도를 0, 1/3, 2/3, 1의 네 단계로 정했다고 합시다. “1/3 이상인가?”, “2/3 이상인가?”, “1인가?”에 답하면 어느 단계인지 알 수 있습니다. 이 답들을 정확히 한 단계를 표시하는 방식으로 바꾸며 모이실 논리의 연구를 읽습니다.
Denisa Diaconescu · Ioana Leuștean, Mutually Exclusive Nuances of Truth in Moisil Logic (2015)
같은 방정식의 두 풀이를 나란히 또는 차례로 제시하고 공통 원리·다른 선택·효율 조건 질문을 바꾸어 비교 기회의 구조를 확인합니다.
Does Comparing Solution Methods Facilitate Conceptual and Procedural Knowledge? An Experimental Study on Learning to Solve Equations
완성 풀이가 초보자의 탐색 부담을 줄이는 이유와, 예시를 연습 문제·자기설명·점진적 빈칸과 연결해야 하는 이유를 종합 연구에서 살펴봅니다.
Learning from Examples: Instructional Principles from the Worked Examples Research
MATH 데이터셋은 7개 분야·5단계 난이도의 경시 문제와 단계별 풀이를 함께 제공하며 평가 범위와 풀이 검사의 중요성을 보여 줍니다.
Measuring Mathematical Problem Solving With the MATH Dataset
PutnamBench는 640개 대학 수학문제를 Lean 4·Isabelle과 일부 Coq로 1,692회 형식화해 언어별 자동증명기의 강점과 난도를 비교했습니다.
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
1–5 / 10편
