연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.
John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)
헨리 로디거와 제프리 카피키의 2006년 실험 논문 초록을 읽습니다. 글을 반복해서 읽는 방법과 자료를 보지 않고 내용을 떠올리는 방법의 결과가, 학습 직후와 며칠 뒤 검사에서 어떻게 달라졌는지 살펴봅니다.
검사로 강화되는 학습: 기억 검사가 장기 기억을 높인다 (Test-enhanced learning: taking memory tests improves long-term retention)
아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.
Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)
선물이 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)
16–20 / 521편
