한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과32건

검색 결과 제목

  1. 695% 신뢰구간이면 참값이 그 안에 있을 확률이 95%일까?
  2. 7진짜 그래프를 가짜 그래프들 사이에 숨기면 눈도 통계 검정을 할까?
  3. 8처음 본 숫자에서 충분히 멀어지는 사람은 누구일까?
  4. 9논증 지도를 다른 프로그램으로 옮겨도 구조가 보존될까?
  5. 10자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?
반복 연구의 여러 구간이 고정 참값을 덮는 절차와 특정 구간 하나의 포함 관계가 분리되어 있다.

95% 신뢰구간이면 참값이 그 안에 있을 확률이 95%일까?

반복 연구의 여러 구간이 고정 참값을 덮는 절차와 특정 구간 하나의 포함 관계가 분리되어 있다.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

95% 신뢰구간이면 참값이 그 안에 있을 확률이 95%일까?

빈도주의 신뢰구간의 95%는 같은 절차를 반복했을 때의 장기 포함률이며, 계산된 특정 구간의 사후확률과 같지 않습니다.

Statistical Tests, P Values, Confidence Intervals, and Power: A Guide to Misinterpretations

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
20개 작은 패널 중 실제 자료 하나와 null 그래프 19개가 배치되고 관찰자 선택들이 검정 합류점으로 모인다.

진짜 그래프를 가짜 그래프들 사이에 숨기면 눈도 통계 검정을 할까?

20개 작은 패널 중 실제 자료 하나와 null 그래프 19개가 배치되고 관찰자 선택들이 검정 합류점으로 모인다.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

진짜 그래프를 가짜 그래프들 사이에 숨기면 눈도 통계 검정을 할까?

시각적 라인업은 관찰 그래프를 영가설에서 만든 그래프들 사이에 놓고 사람이 구별하는지를 검정 절차로 해석합니다.

Human Factors Influencing Visual Statistical Inference

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
출발값 80에서 조정이 10인 경우 최종 70, 조정이 30인 경우 최종 50이 되는 두 경로

처음 본 숫자에서 충분히 멀어지는 사람은 누구일까?

출발값 80에서 조정이 10인 경우 최종 70, 조정이 30인 경우 최종 50이 되는 두 경로
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

처음 본 숫자에서 충분히 멀어지는 사람은 누구일까?

닻내림은 하나의 고정 성향이 아닙니다. 제시된 닻과 스스로 만든 닻, 수리 능력과 조정 과정을 나누어 봅니다.

Individual Differences in Anchoring Effect: Evidence for the Role of Insufficient Adjustment

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
두 파란 정보 노드 사이에 초록 추론 적용 노드가 있고, 별도의 빨간 충돌 노드가 추론 노드를 공격하는 AIF 도식

논증 지도를 다른 프로그램으로 옮겨도 구조가 보존될까?

두 파란 정보 노드 사이에 초록 추론 적용 노드가 있고, 별도의 빨간 충돌 노드가 추론 노드를 공격하는 AIF 도식
논증과 대화해외 학술 연구 · 연구 해설 · 일반

논증 지도를 다른 프로그램으로 옮겨도 구조가 보존될까?

Argument Interchange Format의 정보 노드와 도식 적용 노드를 통해 문장 내용과 추론 행위를 분리해야 논증 구조를 교환·확장할 수 있음을 살펴봅니다.

Towards an argument interchange format

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.

Autoformalization with Large Language Models

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

6–10 / 32편