한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과129건

검색 결과 제목

  1. 96유의한 결과가 나오면 그 가설은 거의 참일까?
  2. 97같은 연구를 다시 하면 결과는 얼마나 돌아올까?
  3. 98‘왜 그런가요?’라고 묻기만 하면 이해가 깊어질까?
  4. 99정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?
  5. 100문장을 논리식으로 잘 옮기면 인공지능(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분해외 논리학 연구 해설 읽기 →
원 연구, 직접 재현, 복수 기준를 연결해 조건과 범위를 확인하는 교육용 도식.

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

원 연구, 직접 재현, 복수 기준를 연결해 조건과 범위를 확인하는 교육용 도식.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

대규모 심리학 재현 프로젝트는 유의성 하나가 아니라 효과 크기·신뢰구간·주관 평가를 함께 봐야 함을 보여 줍니다.

Estimating the reproducibility of psychological science

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
조건문 해설을 그대로 반복하는 반응, 전제와 규칙의 새 연결을 만드는 자기설명, 역을 잘못 읽었는지 점검하는 반응을 구분한 표.

‘왜 그런가요?’라고 묻기만 하면 이해가 깊어질까?

조건문 해설을 그대로 반복하는 반응, 전제와 규칙의 새 연결을 만드는 자기설명, 역을 잘못 읽었는지 점검하는 반응을 구분한 표.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

‘왜 그런가요?’라고 묻기만 하면 이해가 깊어질까?

순환계 글을 읽은 중학교 8학년 24명의 연구는 자기설명 촉진과 개념 모형 변화를 살폈지만, 작은 표본과 설명 질의 차이를 함께 봐야 합니다.

Eliciting Self-Explanations Improves Understanding

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
자연어 문장, 1차 논리 변환, 구문 유효성 검사, 결론과 부정의 실행으로 이어지는 네 단계 파이프라인과 번역 오류·추론 오류 점검 지점.

문장을 논리식으로 잘 옮기면 인공지능(AI) 추론도 끝난 걸까?

자연어 문장, 1차 논리 변환, 구문 유효성 검사, 결론과 부정의 실행으로 이어지는 네 단계 파이프라인과 번역 오류·추론 오류 점검 지점.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

문장을 논리식으로 잘 옮기면 인공지능(AI) 추론도 끝난 걸까?

FOLIO는 자연어를 1차 논리로 옮기는 정확성과 실제 결론을 실행하는 정확성이 다를 수 있음을 보여 줍니다.

FOLIO: Natural Language Reasoning with First-Order Logic

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

96–100 / 129편