한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과155건

검색 결과 제목

  1. 111불확실한 값은 일부러 비슷한 색으로 묶어야 할까?
  2. 112도착 예정 5분은 얼마나 흔들릴까?
  3. 113코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?
  4. 114상관이 높으면 두 측정법을 바꿔 써도 될까?
  5. 115평균을 정확히 알면 다음 한 사람의 값도 좁게 맞힐 수 있을까?
낮은 불확실성: 4색, 중간: 2색, 높은 불확실성: 1색의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

불확실한 값은 일부러 비슷한 색으로 묶어야 할까?

낮은 불확실성: 4색, 중간: 2색, 높은 불확실성: 1색의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

불확실한 값은 일부러 비슷한 색으로 묶어야 할까?

Correll·Moritz·Heer는 값-억제 불확실성 팔레트를 제안하고 두 온라인 실험에서 읽기 성능과 위험 선택이 어떻게 달라지는지 평가했습니다.

Value-Suppressing Uncertainty Palettes

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
2분 ●● → 5분 ●●●● → 8분 ●● → 20개 중 8개 = 40%를 비교하는 LTCT 교육용 도식

도착 예정 5분은 얼마나 흔들릴까?

2분 ●● → 5분 ●●●● → 8분 ●● → 20개 중 8개 = 40%를 비교하는 LTCT 교육용 도식
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

도착 예정 5분은 얼마나 흔들릴까?

실시간 버스 예측 연구는 작은 화면에서 분위수 점그림이 밀도그림보다 확률 추정의 분산을 줄였다고 보고했습니다.

When(ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

입출력 테스트와 형식 명세 증명은 어떤 다른 보장을 주는가?

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
새벽 서울 옥상 관측소에서 여성 수문학자와 남성 통계학자가 좁은 초록 측정 띠와 넓은 파란 측정 띠를 비교하고 둥근 안경의 LTCT 올빼미 캐릭터가 캘리퍼스를 들고 둘 사이로 날아가는 장면

평균을 정확히 알면 다음 한 사람의 값도 좁게 맞힐 수 있을까?

새벽 서울 옥상 관측소에서 여성 수문학자와 남성 통계학자가 좁은 초록 측정 띠와 넓은 파란 측정 띠를 비교하고 둥근 안경의 LTCT 올빼미 캐릭터가 캘리퍼스를 들고 둘 사이로 날아가는 장면
인간의 사고와 추론논리학 배우기 · 주제별 학습 · 심화

평균을 정확히 알면 다음 한 사람의 값도 좁게 맞힐 수 있을까?

평균 50, 표준편차 10인 교육 모형에서 표본 수를 늘리며 평균의 신뢰구간과 다음 한 관측값의 예측구간을 구분합니다.

게시 2026-09-13 · 약 18분논리학 학습 글 읽기 →

111–115 / 155편