한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과45건

검색 결과 제목

  1. 26남의 편향은 잘 보이는데 내 편향은 왜 덜 보일까?
  2. 27드문 두 특징이 함께 나오면 없던 관계도 기억에 생길까?
  3. 28큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?
  4. 29문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?
  5. 30증명을 한 번에 쓰고 오류 메시지로 고치면 될까?
실제 빈도는 독립인 2대2 격자에서 드문 색과 드문 부정 항목이 만나는 한 칸만 강조되고 기억 화살표가 표시된 도식

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

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

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

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

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

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
큰 정리를 작은 목표로 나누면 AI 증명은 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?

큰 정리를 작은 목표로 나누면 AI 증명은 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?

DeepSeek-Prover-V2는 비형식 풀이를 하위 목표로 재귀 분해해 형식 추론의 학습 자료와 보상 구조를 만든다.

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

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

26–30 / 45편