한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과209건

표시정렬

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

Berglund는 설명변수의 무작위 측정오차가 회귀계수를 0 쪽으로 끌어당기는 회귀 희석과 반복 측정 기반 보정·표본수 설계를 설명했다.

Regression dilution bias: Tools for correction methods and sample size calculation

인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

50개 연구의 63개 조건과 5,036명을 종합한 메타분석은 선택 과부하의 평균 효과가 사실상 0에 가까웠지만 연구 간 차이가 컸다고 보고했습니다.

Can There Ever Be Too Many Options? A Meta-Analytic Review of Choice Overload

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

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

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

인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

DeepProbLog은 신경술어의 확률과 확률논리 규칙을 결합해 최종 질의에서 끝까지 학습합니다.

DeepProbLog: Neural Probabilistic Logic Programming

논증과 대화해외 학술 연구 · 연구 해설 · 일반

Goldstein·Crowell·Kuhn은 논증을 직접 만드는 수행과 제시된 논증을 평가하는 판단을 같은 도구로 보지 말아야 한다고 보여 줬다.

What Constitutes Skilled Argumentation and How Does it Develop?

121–125 / 209편