연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.
Anantha Padmanabha · R. Ramanujam, Two Variable Fragment of Term Modal Logic (2019)
판단의 정도를 0, 1/3, 2/3, 1의 네 단계로 정했다고 합시다. “1/3 이상인가?”, “2/3 이상인가?”, “1인가?”에 답하면 어느 단계인지 알 수 있습니다. 이 답들을 정확히 한 단계를 표시하는 방식으로 바꾸며 모이실 논리의 연구를 읽습니다.
Denisa Diaconescu · Ioana Leuștean, Mutually Exclusive Nuances of Truth in Moisil Logic (2015)
닫힌 문을 여는 열쇠가 빨강과 파랑 중 하나라고 합시다. 열쇠가 있다는 사실을 아는 것만으로 어느 것을 가져갈지 정할 수 있을까요? 가능한 상황들을 나란히 놓고, 모든 상황에 통하는 답 하나를 아는 조건을 살펴봅니다.
Yanjing Wang, A New Modal Framework for Epistemic Logic (2017)
앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.
forall x: Calgary, Chapter 10: Truth-functional connectives
같은 방정식의 두 풀이를 나란히 또는 차례로 제시하고 공통 원리·다른 선택·효율 조건 질문을 바꾸어 비교 기회의 구조를 확인합니다.
Does Comparing Solution Methods Facilitate Conceptual and Procedural Knowledge? An Experimental Study on Learning to Solve Equations
1–5 / 97편
