한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과57건

표시정렬

논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

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

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

Value-Suppressing Uncertainty Palettes

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

Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.

Baldur: Whole-Proof Generation and Repair with Large Language Models

논리교육과 평가논리학 배우기 · 주제별 학습 · 심화

네 반 100명이 반 안에서 닮을 때 설계효과 3.4와 근사 유효 표본 29.4를 계산해 사람 수와 독립 정보량을 구분합니다.

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

결합 오류 연구는 구체적인 두 조건의 이야기가 포괄적인 한 조건보다 더 그럴듯해 보여도 확률은 더 클 수 없음을 보였습니다.

Extensional versus Intuitive Reasoning: The Conjunction Fallacy in Probability Judgment

41–45 / 57편