연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
두 게임이 최종 결과 p·q·r을 똑같이 내놓아도, 한 선수가 상대에게 허용하는 결과 집합은 다를 수 있습니다. 기본 능력의 정의로 두 나무를 끝까지 비교합니다.
Johan van Benthem · Nick Bezhanishvili · Sebastian Enqvist, A New Game Equivalence, its Logic and Algebra (2019)
스위치를 켜지 않은 현재 상태에서도 '켰다면'의 진위를 평가할 수 있을까요? 실제 상태와 가장 적절하게 선택된 가정 세계의 결과를 구별합니다.
Robert C. Stalnaker, A Theory of Conditionals (1968)
같은 값이 보이는 텍스트 입력란을 비활성화·읽기 전용으로 바꾸고, 브라우저가 만든 폼 데이터에 값이 포함되는지 확인합니다.
출석 여부를 확인하는 장치가 한 학생에게 1과 0을 함께 내놓았다고 합시다. 두 결과를 모두 기록하는 것과 답 하나를 정하는 것은 다른 문제입니다. 웨버와 카노호르헤의 논문은 모순을 허용하는 논리에서 계산과 함수의 조건을 검토합니다.
Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)
비가 올 가능성과 우산을 챙기는 결정, 비를 맞는 결과를 구분해 적어 봅니다. 데이비드 풀의 독립 선택 논리는 우연한 사건에 확률을 붙이고, 선택 뒤의 결과를 논리 규칙으로 계산합니다. 작은 수치 예로 그 과정을 따라갑니다.
David Poole, The Independent Choice Logic for Modelling Multiple Agents under Uncertainty (1997)
1–5 / 94편
