연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
취약성 지수는 두 집단의 이분형 결과에서 최소 몇 건을 바꾸면 통계적 유의성이 사라지는지 계산해 p값과 추적 손실을 함께 보게 합니다.
The Statistical Significance of Randomized Controlled Trial Results Is Frequently Fragile: A Case for a Fragility Index
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.
Intuitionistic Logic
모세 착각 연구는 빠른 오답을 낸 사람도 낮은 확신으로 오류 충돌을 감지할 수 있음을 보여 줍니다.
Moses illusions, fast and slow
6–10 / 57편
