연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
두 공격자와 하나의 방어 논증 사이 연결을 바꾸며, 모든 공격자가 방어되어야 처음 주장이 근거 확장에 들어가는 과정을 확인합니다.
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
로짓과 온도를 바꾸어 확률 간격을 직접 계산하고, 양의 온도 조정이 확신 표현은 바꾸지만 같은 로짓의 1위 답은 바꾸지 않는 이유를 확인합니다.
On Calibration of Modern Neural Networks
두 모델의 네 오차를 직접 바꾸며 MAE와 RMSE를 계산합니다. 한 번의 큰 실패가 있을 때 지표별 순위가 뒤집히는 이유와 지표를 실제 손실에 맞춰 고르는 한계를 살펴봅니다.
게르하르트 겐첸의 「Untersuchungen über das logische Schließen」 I–II(1935)를 따라, 자연연역과 시퀀트 계산에서 컷 제거와 부분식 성질이 증명의 정보를 어떻게 드러내는지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Untersuchungen über das logische Schließen I–II (1935)
게르하르트 겐첸의 「Die Widerspruchsfreiheit der reinen Zahlentheorie」(1936)를 따라, 산술 증명에 ε₀ 아래 순서수 표기를 붙이고 환원 때마다 값이 감소한다는 사실에서 무모순성을 얻는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie (1936)
61–65 / 521편
