연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
선물이 A와 B 두 우체국 중 한 곳에 있습니다. 먼저 어디로 갈지, 확인한 뒤 어디로 갈지를 정하려면 현재 아는 사실과 모르는 사실을 함께 기록해야 합니다. 토마스 볼란데르의 연구는 정보가 바뀔 때 행동 계획도 어떻게 달라지는지 논리로 다룹니다.
Thomas Bolander, A Gentle Introduction to Epistemic Planning: The DEL Approach (2017)
열차 안의 사람과 승강장의 사람은 같은 만남을 서로 다른 위치와 시각으로 기록할 수 있습니다. 헝가리 연구진은 이런 기록을 논리식으로 적고, 빛의 움직임에 관한 가정에서 어떤 결론이 나오는지 따졌습니다. 가속하는 관찰자까지 포함할 때 가정을 어떻게 바꾸는지도 살펴봅니다.
Hajnal Andréka · Judit X. Madarász · István Németi · Gergely Székely, A Logic Road from Special Relativity to General Relativity (2012)
“이 자료가 이 주장의 근거다”라는 문장도 논리적으로 검사할 수 있을까요? 토마스 슈투더의 연구는 반례를 찾는 데 필요한 모형의 크기에 상한을 두는 조건을 다룹니다. 반례 하나를 찾는 일과 가능한 경우를 모두 확인하는 일을 구분해 읽습니다.
Thomas Studer, Justification logic enjoys the strong finite model property (2015)
회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.
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)
1–5 / 308편
