한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과132건

검색 결과 제목

  1. 66결정을 바꾸지 못하는 정보도 더 모아야 할까?
  2. 67집합이 많이 겹치면 원 대신 점과 막대로 세는 편이 나을까?
  3. 68기억에 남는 그래프가 더 잘 이해된 그래프일까?
  4. 69작은 화면에서는 움직이는 점과 나란한 그림 중 무엇이 나을까?
  5. 70그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

결정을 바꾸지 못하는 정보도 더 모아야 할까?

검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

결정을 바꾸지 못하는 정보도 더 모아야 할까?

Baron·Beattie·Hershey의 여섯 실험은 진단 가설과 맞는 검사 선호, 행동을 바꾸지 못하는 정보 탐색, 확신 과잉을 분리해 조사했습니다.

Heuristics and Biases in Diagnostic Reasoning: II. Congruence, Information, and Certainty

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
A B C D 네 행의 점 조합 세 열과, 각 열 위의 높이가 12 8 5인 교차 크기 막대가 있다.

집합이 많이 겹치면 원 대신 점과 막대로 세는 편이 나을까?

A B C D 네 행의 점 조합 세 열과, 각 열 위의 높이가 12 8 5인 교차 크기 막대가 있다.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

집합이 많이 겹치면 원 대신 점과 막대로 세는 편이 나을까?

UpSet은 집합 교차를 행렬의 점 조합과 막대 길이로 바꾸어 여러 집합의 정확한 교차 크기를 비교하게 합니다.

UpSet: Visualization of Intersecting Sets

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
하나의 그래프에서 기억 재인과 수치 이해 두 경로가 갈라져 각각 다른 평가 상자로 이어진다.

기억에 남는 그래프가 더 잘 이해된 그래프일까?

하나의 그래프에서 기억 재인과 수치 이해 두 경로가 갈라져 각각 다른 평가 상자로 이어진다.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

기억에 남는 그래프가 더 잘 이해된 그래프일까?

대규모 시각화 기억 연구는 독특함과 색·사람 모양의 기억 효과를 보였지만 이해 정확성과는 구분해야 합니다.

What Makes a Visualization Memorable?

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
A는 단계별 값 1,3,1로 올랐다 내려오고 B는 1,2,3으로 계속 오르는 두 작은 좌표판. 축 범위는 동일하다.

작은 화면에서는 움직이는 점과 나란한 그림 중 무엇이 나을까?

A는 단계별 값 1,3,1로 올랐다 내려오고 B는 1,2,3으로 계속 오르는 두 작은 좌표판. 축 범위는 동일하다.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

작은 화면에서는 움직이는 점과 나란한 그림 중 무엇이 나을까?

모바일 산점도 비교 실험은 속도·정확도·확신이 같은 방향으로 움직이지 않을 수 있음을 보여 줍니다. 대상의 경로와 과제에 맞춰 화면을 선택해야 합니다.

A Comparative Evaluation of Animation and Small Multiples for Trend Visualization on Mobile Phones

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

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

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

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

66–70 / 132편