통합검색

60데시벨 소리원 두 개면 120데시벨일까?

같은 크기의 소리원을 늘리며 데시벨 숫자가 에너지처럼 단순히 더해지지 않는 까닭을 계산합니다.

검사가 양성이면 질병 확률은 검사 정확도와 같을까?

민감도 하나로 검사 후 확률을 읽을 수 없습니다. 사전 가능성과 우도비를 결합해 증거가 믿음을 얼마나 바꾸는지 계산합니다.

Diagnostic Tests 4: Likelihood Ratios

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.

Algebraic Propositional Logic

대부분의 참가자가 찬성하면 찬성자의 대부분도 참가자일까?

일반화 양화사 이론은 ‘모두·몇몇·대부분’의 뜻을 집합 사이의 관계로 풉니다. 같은 교집합도 무엇을 기준으로 세는지에 따라 문장의 참이 달라집니다.

Generalized Quantifiers