한곳에서 찾는 논리 자료

통합검색

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

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

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과60건

검색 결과 제목

  1. 41일부러 틀린 뒤 고치면 먼 문제에도 배움이 옮겨갈까?
  2. 42피드백은 많을수록 언제나 성과를 높일까?
  3. 43근거가 그럴듯한데도 무엇이 더 필요할까?
  4. 44증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
  5. 45인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?
의도적 오류, 즉시 교정, 원거리 전이를 연결해 조건과 범위를 확인하는 교육용 도식.

일부러 틀린 뒤 고치면 먼 문제에도 배움이 옮겨갈까?

의도적 오류, 즉시 교정, 원거리 전이를 연결해 조건과 범위를 확인하는 교육용 도식.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

일부러 틀린 뒤 고치면 먼 문제에도 배움이 옮겨갈까?

세 실험은 개념을 일부러 잘못 설명하고 곧바로 고치는 활동을 오류 없는 정교화나 남의 오류 수정과 비교했습니다.

Deliberate Erring Improves Far Transfer of Learning More Than Errorless Elaboration and Spotting and Correcting Others’ Errors

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
피드백 내용, 주의 초점, 다음 수행를 연결해 조건과 범위를 확인하는 교육용 도식.

피드백은 많을수록 언제나 성과를 높일까?

피드백 내용, 주의 초점, 다음 수행를 연결해 조건과 범위를 확인하는 교육용 도식.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

피드백은 많을수록 언제나 성과를 높일까?

607개 효과크기 메타분석은 피드백의 평균 이점과 함께 3분의 1이 넘는 경우 성과가 낮아진 사실을 설명합니다.

The Effects of Feedback Interventions on Performance: A Historical Review, a Meta-Analysis, and a Preliminary Feedback Intervention Theory

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
도서관의 대기 감소 관찰에서 인과 설명, 일반화, 도입 판단으로 나누어 각 단계에 필요한 자료를 적은 표.

근거가 그럴듯한데도 무엇이 더 필요할까?

도서관의 대기 감소 관찰에서 인과 설명, 일반화, 도입 판단으로 나누어 각 단계에 필요한 자료를 적은 표.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

근거가 그럴듯한데도 무엇이 더 필요할까?

근거의 충분성을 판단한 해외 말뭉치 연구를 읽고, 사례 하나에서 넓은 결론으로 넘어갈 때 빠진 정보를 찾아봅니다.

Recognizing Insufficiently Supported Arguments in Argumentative Essays

게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

DeepSeek-Prover-V1.5는 Lean 4 검증 피드백을 강화학습과 트리 탐색에 이용해 형식증명 성능을 평가했습니다.

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
자연어 번역, 솔버 실행, 오류 피드백를 연결해 조건과 범위를 확인하는 교육용 도식.

인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?

자연어 번역, 솔버 실행, 오류 피드백를 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?

Logic-LM은 언어모델의 형식화와 기호 솔버의 판정을 결합하고 오류 메시지로 번역을 고치는 절차를 평가했습니다.

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →

41–45 / 60편