한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과56건

표시정렬

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

시각화 효율은 제한된 주의 용량과 과제 종류에 맞춰야 합니다.

How Capacity Limits of Attention Influence Information Visualization Effectiveness

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

세 논쟁적 주제의 실험은 초기 태도가 약한 참가자에게 그래프의 설득 효과가 더 컸지만 강한 반대 태도에서는 달라질 수 있음을 보였습니다.

The Persuasive Power of Data Visualization

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

연결 산점도는 두 시계열의 공동 경로를 보이지만 시간 단서가 필요합니다.

The Connected Scatterplot for Presenting Paired Time Series

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

단순 일치율과 카파는 우연 일치에 대한 가정이 달라 같은 자료에서도 다른 신뢰도 신호를 낼 수 있습니다.

Interrater Reliability: The Kappa Statistic

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

Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

11–15 / 56편