한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과78건

검색 결과 제목

  1. 1중간 정리 없이도 같은 결론을 증명할 수 있을까?
  2. 2같은 논리 규칙을 따르는 두 세계는 크기도 같을까?
  3. 3한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?
  4. 4Σ₁ 문장에 한정하면, ‘증명 가능함’의 논리를 판정할 수 있을까요?
  5. 5‘확인했습니다’는 주장에 동의했다는 뜻일까?
논문 대담John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), 55–74
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?

주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.

John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)

게시 2026-10-16해외 논리학 연구 해설 읽기 →
논문 대담Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)arXiv:1409.5699v2, 45 pages
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

Σ₁ 문장에 한정하면, ‘증명 가능함’의 논리를 판정할 수 있을까요?

아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.

Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)

게시 2026-10-15해외 논리학 연구 해설 읽기 →

1–5 / 78편