한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과60건

검색 결과 제목

  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해외 논리학 연구 해설 읽기 →
같은 연결 구조를 가진 두 네트워크에서 왼쪽은 경로 연속성이 높고 오른쪽은 꺾임과 교차선이 더 많은 비교 도식

연결은 같은데 선이 교차하면 경로 읽기는 어떻게 달라질까?

같은 연결 구조를 가진 두 네트워크에서 왼쪽은 경로 연속성이 높고 오른쪽은 꺾임과 교차선이 더 많은 비교 도식
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

연결은 같은데 선이 교차하면 경로 읽기는 어떻게 달라질까?

같은 네트워크에서 경로의 꺾임·교차선·분기를 바꾸어 구조와 배치를 구분하고, 길을 따라갈 때 생기는 확인 지점을 셉니다.

Cognitive Measurements of Graph Aesthetics

게시 2026-10-07 · 약 10분해외 논리학 연구 해설 읽기 →
B와 C가 주장 A를 공격하고 D가 B만 공격할 때 C가 남아 A가 수용되지 않는 추상 논증 그래프

반박이 두 개면 방어 하나로 주장을 되살릴 수 있을까?

B와 C가 주장 A를 공격하고 D가 B만 공격할 때 C가 남아 A가 수용되지 않는 추상 논증 그래프
논증과 대화해외 학술 연구 · 연구 해설 · 심화

반박이 두 개면 방어 하나로 주장을 되살릴 수 있을까?

두 공격자와 하나의 방어 논증 사이 연결을 바꾸며, 모든 공격자가 방어되어야 처음 주장이 근거 확장에 들어가는 과정을 확인합니다.

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games

게시 2026-10-06 · 약 11분해외 논리학 연구 해설 읽기 →
세 선택지 중 현재 선택 표지가 붙은 대안은 전환 비용이 0이고, 표지를 옮기면 비교 기준과 순위가 달라지는 구조

같은 선택지인데 ‘현재 선택’ 표지만 붙으면 판단이 달라질까?

세 선택지 중 현재 선택 표지가 붙은 대안은 전환 비용이 0이고, 표지를 옮기면 비교 기준과 순위가 달라지는 구조
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

같은 선택지인데 ‘현재 선택’ 표지만 붙으면 판단이 달라질까?

어느 대안을 ‘현재 선택’으로 두는지와 전환 비용을 바꾸어, 고유 가치가 같은데도 비교 기준과 순위가 달라지는 조건을 분리합니다.

Status Quo Bias in Decision Making

게시 2026-10-03 · 약 8분해외 논리학 연구 해설 읽기 →
연구 비교The potential of preregistration in psychology: Assessing preregistration producibility and preregistration-study consistency해외 학술 연구
인간의 사고와 추론해외 학술 연구 · 연구 비교 · 일반

사전등록과 논문이 다르면, 연구는 약속을 어긴 걸까?

점검 자료·불일치 유형·질문을 바꾸어 직접 포함되는 연구 수와 허용되는 해석을 비교하고, 변경 자체와 미공개 변경을 구분합니다.

The potential of preregistration in psychology: Assessing preregistration producibility and preregistration-study consistency

게시 2026-10-02 · 약 30분해외 논리학 연구 해설 읽기 →

1–5 / 60편