한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과200건

검색 결과 제목

  1. 176단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
  2. 177친구의 답을 평가하면 내 성취도도 좋아질까?
  3. 178사람을 설득하면 좋은 논증이 된 걸까?
  4. 179이번 일도 계획한 날짜에 끝날 거라고 믿는 이유는 뭘까?
  5. 180증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

4,290개 퍼즐의 Mystery-Zebra는 논리 구조, 난이도와 표면 표현의 영향을 분리해 평가합니다.

Lexical Recall or Logical Reasoning: Probing the Limits of Reasoning Abilities in Large Language Models

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
평가 주체, 비교 집단, 학업 성취를 연결해 조건과 범위를 확인하는 교육용 도식.

친구의 답을 평가하면 내 성취도도 좋아질까?

평가 주체, 비교 집단, 학업 성취를 연결해 조건과 범위를 확인하는 교육용 도식.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

친구의 답을 평가하면 내 성취도도 좋아질까?

통제집단 연구 메타분석은 동료평가를 무평가·교사평가·자기평가와 나누어 학업 성취 효과를 종합했습니다.

The Impact of Peer Assessment on Academic Performance: A Meta-analysis of Control Group Studies

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
설득 결과, 근거 품질, 정당화 판단를 연결해 조건과 범위를 확인하는 교육용 도식.

사람을 설득하면 좋은 논증이 된 걸까?

설득 결과, 근거 품질, 정당화 판단를 연결해 조건과 범위를 확인하는 교육용 도식.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

사람을 설득하면 좋은 논증이 된 걸까?

논증의 인식론적 접근은 실제 설득과 정당화된 믿음의 형성을 구분하고 평가 기준을 지도처럼 정리합니다.

Introduction: The Epistemological Approach to Argumentation—A Map

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
계획 오류, 내부 관점, 과거 분포의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

이번 일도 계획한 날짜에 끝날 거라고 믿는 이유는 뭘까?

계획 오류, 내부 관점, 과거 분포의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

이번 일도 계획한 날짜에 끝날 거라고 믿는 이유는 뭘까?

Buehler·Griffin·Ross의 다섯 연구는 사람들이 자신의 과제를 예측할 때 과거 분포보다 미래 시나리오에 집중해 완료 시간을 낙관한다고 보였습니다.

Exploring the Planning Fallacy: Why People Underestimate Their Task Completion Times

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
후보 증명, 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분해외 논리학 연구 해설 읽기 →

176–180 / 200편