한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과2건

검색 결과 제목

  1. 1프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?
  2. 2학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?
전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures

게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
모두 문제 생성이라는 공통 활동 뒤 학생 문항 교사 문항 추가 없음 세 조건으로 갈라지고 증분 효과 비교점에 모인다.

학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?

모두 문제 생성이라는 공통 활동 뒤 학생 문항 교사 문항 추가 없음 세 조건으로 갈라지고 증분 효과 비교점에 모인다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 심화

학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?

145명 5학년 준실험은 학생 생성 문항을 푸는 조건이 교사 문항이나 문제 생성만 한 조건보다 추가 이득을 보이지 않은 결과도 함께 보고했습니다.

Effects of Student-generated Questions as the Source of Online Drill-and-practice Activities on Learning

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →

1–2 / 2편