한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

통합검색521건

검색 결과 제목

  1. 481유의한 결과가 나오면 그 가설은 거의 참일까?
  2. 482사전등록은 적어 두기만 하면 충분할까?
  3. 483예방책이 사후 해결책도 된다고 말해도 될까?
  4. 484먼저 풀다 실패하면 그다음 설명에서 더 배울까?
  5. 485증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
100개 가설 중 참 10개와 거짓 90개를 나누고, 검정력 80%로 참 양성 8개, 거짓 양성률 5%로 거짓 양성 기대값 4.5개를 계산한 2대2 표.

유의한 결과가 나오면 그 가설은 거의 참일까?

100개 가설 중 참 10개와 거짓 90개를 나누고, 검정력 80%로 참 양성 8개, 거짓 양성률 5%로 거짓 양성 기대값 4.5개를 계산한 2대2 표.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

유의한 결과가 나오면 그 가설은 거의 참일까?

사전 가능성, 검정력과 거짓 양성률이 양성 결과의 믿을 만함을 어떻게 함께 결정하는지 기대 빈도로 계산합니다.

Why Most Published Research Findings Are False

게시 2026-09-12 · 약 11분해외 논리학 연구 해설 읽기 →
가상 점수 A[4,5,6]과 B[1,5,9]는 평균 5와 평균에서의 차이 합 0이 같지만 제곱 차이 합은 2와 32로 다름을 나타낸 표.

먼저 풀다 실패하면 그다음 설명에서 더 배울까?

가상 점수 A[4,5,6]과 B[1,5,9]는 평균 5와 평균에서의 차이 합 0이 같지만 제곱 차이 합은 2와 32로 다름을 나타낸 표.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

먼저 풀다 실패하면 그다음 설명에서 더 배울까?

문제 해결과 설명의 순서를 비교한 메타분석을 읽습니다. 실패한 시도를 이후 설명에 연결하는 설계와 단순히 어렵게 만드는 활동을 구별합니다.

When Problem Solving Followed by Instruction Works: Evidence for Productive Failure

게시 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분해외 논리학 연구 해설 읽기 →

481–485 / 521편