연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
선물이 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)
출석 여부를 확인하는 장치가 한 학생에게 1과 0을 함께 내놓았다고 합시다. 두 결과를 모두 기록하는 것과 답 하나를 정하는 것은 다른 문제입니다. 웨버와 카노호르헤의 논문은 모순을 허용하는 논리에서 계산과 함수의 조건을 검토합니다.
Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)
따옴표 안팎의 줄바꿈과 겹따옴표를 바꾸어, 눈에 보이는 줄 수와 실제 CSV 레코드 수가 달라지는 경우를 직접 확인합니다.
같은 A+B를 URL 경로와 폼 방식 검색어로 각각 해석해, 기호의 뜻이 문자열만이 아니라 처리 위치와 규칙에 달려 있음을 확인합니다.
41–45 / 2419편
