연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
커리 집합 R의 자기소속과 축약·MP가 임의 결론으로 이어지는 과정을 추적합니다. 기본 논리의 축약 실패와 보수적 확장까지 견디는 조건을 구분하고 1993년 추측의 1997년 반례를 확인합니다.
Greg Restall, How to be Really Contraction Free (1993)
다국가 장기 노출 연구와 학급 단위 소음 조건 실험을 결과별로 나누어, 연관성·급성 조건 효과·정책 적용의 범위를 구분합니다.
Exposure-effect relations between aircraft and road traffic noise exposure at school and reading comprehension: the RANCH project
Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.
Linear Logic
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
의사결정곡선 분석은 행동 임계값에서 참양성 이득과 거짓양성 부담을 반영한 순편익을 비교합니다.
Decision Curve Analysis: A Novel Method for Evaluating Prediction Models
1–5 / 8편
