한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과241건

검색 결과 제목

  1. 11한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?
  2. 12Σ₁ 문장에 한정하면, ‘증명 가능함’의 논리를 판정할 수 있을까요?
  3. 13우리가 옳다고 판단한 논증을 기호만으로도 증명할 수 있을까?
  4. 14수학의 모든 증명에 모순이 없다는 사실도 증명할 수 있을까?
  5. 15모든 집합을 모으면 왜 모순이 생길까?
논문 대담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해외 논리학 연구 해설 읽기 →
증명 이야기Bertrand Russell, The Principles of Mathematics, Chapter XUniversity of Massachusetts
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

모든 집합을 모으면 왜 모순이 생길까?

집합·원소와 자기 자신에 대한 포함 관계부터 시작해 러셀 역설의 두 경우를 검토하고, 조건에 따라 집합을 만드는 원리의 한계를 설명합니다.

Bertrand Russell, The Principles of Mathematics, Chapter X

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

11–15 / 241편