한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과47건

검색 결과 제목

  1. 26그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  2. 27하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?
  3. 28학생끼리 답을 토론하면 강의보다 더 잘 배울까?
  4. 29드문 두 특징이 함께 나오면 없던 관계도 기억에 생길까?
  5. 30학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(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분해외 논리학 연구 해설 읽기 →
개별 응답에서 동료 이유 교환, 새 문항 재응답으로 이어지고 교사 피드백이 마지막 합류점에 연결된다.

학생끼리 답을 토론하면 강의보다 더 잘 배울까?

개별 응답에서 동료 이유 교환, 새 문항 재응답으로 이어지고 교사 피드백이 마지막 합류점에 연결된다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 심화

학생끼리 답을 토론하면 강의보다 더 잘 배울까?

10년간의 Peer Instruction 자료는 개념 질문·개별 응답·동료 토론·재응답의 결합과 성취 향상을 보고하지만 무작위 실험은 아닙니다.

Peer Instruction: Ten Years of Experience and Results

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
실제 빈도는 독립인 2대2 격자에서 드문 색과 드문 부정 항목이 만나는 한 칸만 강조되고 기억 화살표가 표시된 도식

드문 두 특징이 함께 나오면 없던 관계도 기억에 생길까?

실제 빈도는 독립인 2대2 격자에서 드문 색과 드문 부정 항목이 만나는 한 칸만 강조되고 기억 화살표가 표시된 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

드문 두 특징이 함께 나오면 없던 관계도 기억에 생길까?

Weigl 등 연구의 행동·ERP 결과를 통해 드문 색과 부정적 단어의 결합이 출처 기억과 빈도 추정을 바꾸지만 단순한 P300 기억 설명은 지지되지 않았음을 살펴봅니다.

The effect of shared distinctiveness on source memory: An event-related potential study

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
모두 문제 생성이라는 공통 활동 뒤 학생 문항 교사 문항 추가 없음 세 조건으로 갈라지고 증분 효과 비교점에 모인다.

학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?

모두 문제 생성이라는 공통 활동 뒤 학생 문항 교사 문항 추가 없음 세 조건으로 갈라지고 증분 효과 비교점에 모인다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 심화

학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?

145명 5학년 준실험은 학생 생성 문항을 푸는 조건이 교사 문항이나 문제 생성만 한 조건보다 추가 이득을 보이지 않은 결과도 함께 보고했습니다.

Effects of Student-generated Questions as the Source of Online Drill-and-practice Activities on Learning

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

26–30 / 47편