한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과213건

검색 결과 제목

  1. 106학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?
  2. 107학습일지를 쓰기만 하면 자기조절과 성취가 함께 오를까?
  3. 108그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  4. 109하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?
  5. 110풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
48개 개입의 평균 효과가 사후 g 0.50에서 후속 g 0.63으로 이어지고 연구 이질성 경고가 붙어 있다.

학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?

48개 개입의 평균 효과가 사후 g 0.50에서 후속 g 0.63으로 이어지고 연구 이질성 경고가 붙어 있다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 심화

학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?

48개 메타인지 전략 개입의 후속검사를 종합한 연구는 평균 효과가 유지됐지만 연구·처치의 다양성과 비교 설계를 함께 보아야 함을 보여 줍니다.

Long-term Effects of Metacognitive Strategy Instruction on Student Academic Performance: A Meta-analysis

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
모니터링 도구가 학습 내용과 행동을 거쳐 성취 0.42 자기조절 0.19 동기 0.17로 갈라지는 경로도

학습일지를 쓰기만 하면 자기조절과 성취가 함께 오를까?

모니터링 도구가 학습 내용과 행동을 거쳐 성취 0.42 자기조절 0.19 동기 0.17로 갈라지는 경로도
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

학습일지를 쓰기만 하면 자기조절과 성취가 함께 오를까?

32개 중재연구 3,492명을 종합한 메타분석에서 모니터링 도구는 성취에 중간 효과, 자기조절·동기에는 작은 효과를 보였고 설계 특성에 따라 달랐습니다.

Let Learners Monitor the Learning Content and Their Learning Behavior! A Meta-analysis on the Effectiveness of Tools to Foster Monitoring

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
같은 손실 결과로 이어지는 행동과 비행동 경로 아래에 도덕성·책임은 행동 쪽이 높고 후회는 비행동 쪽이 높을 수 있음을 보여 주는 비교 도식.

하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?

같은 손실 결과로 이어지는 행동과 비행동 경로 아래에 도덕성·책임은 행동 쪽이 높고 후회는 비행동 쪽이 높을 수 있음을 보여 주는 비교 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?

Jamison·Yay·Feldman은 같은 나쁜 결과도 행동으로 일으켰을 때 더 부도덕하고 비난받을 만하다고 판단하는 누락 편향을 사전등록 복제했다.

Action-inaction asymmetries in moral scenarios: Replication of the omission bias examining morality and blame with extensions linking to causality, intent, and regret

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.

HyperTree Proof Search for Neural Theorem Proving

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

106–110 / 213편