한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과294건

검색 결과 제목

  1. 196코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?
  2. 197같은 자료도 제목·주석·강조 순서가 달라지면 다른 이야기로 읽힐까?
  3. 198한 번에 여러 번 맞히는 것과 며칠 간격으로 다시 맞히는 것 중 무엇이 오래갈까?
  4. 199믿음을 거두면 그 반대가 참이라고 믿어야 할까?
  5. 200완성된 풀이를 보여 주기만 하면 초보자가 배울까?
코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

입출력 테스트와 형식 명세 증명은 어떤 다른 보장을 주는가?

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
동일한 62 64 63 66 점을 상승 강조와 중간 하락 강조로 다르게 주석한 두 작은 선그래프

같은 자료도 제목·주석·강조 순서가 달라지면 다른 이야기로 읽힐까?

동일한 62 64 63 66 점을 상승 강조와 중간 하락 강조로 다르게 주석한 두 작은 선그래프
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

같은 자료도 제목·주석·강조 순서가 달라지면 다른 이야기로 읽힐까?

시각화 수사 연구는 선택·강조·배치·주석이 독자의 해석 경로를 형성함을 사례 코딩으로 보이며, 정확한 수치만으로 중립성이 보장되지 않음을 설명합니다.

Visualization Rhetoric: Framing Effects in Narrative Visualization

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
초기 한 세션의 반복과 월 수 다음 월요일의 간격 재학습을 나란히 놓고 한 달 뒤 회상을 비교하는 시간선

한 번에 여러 번 맞히는 것과 며칠 간격으로 다시 맞히는 것 중 무엇이 오래갈까?

초기 한 세션의 반복과 월 수 다음 월요일의 간격 재학습을 나란히 놓고 한 달 뒤 회상을 비교하는 시간선
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

한 번에 여러 번 맞히는 것과 며칠 간격으로 다시 맞히는 것 중 무엇이 오래갈까?

세 실험 533명과 10만 건 넘는 단답 응답에서 초기 정답 반복의 이득은 재학습이 늘수록 줄었고, 넓은 간격의 재학습은 비교적 적은 추가 비용으로 장기 기억을 높였습니다.

Optimizing Schedules of Retrieval Practice for Durable and Efficient Learning: How Much Is Enough?

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
정상 믿음 P만 있는 상태, P와 그 부정을 모두 보류한 철회 상태, P의 부정을 수용한 수정 상태를 비교한 표.

믿음을 거두면 그 반대가 참이라고 믿어야 할까?

정상 믿음 P만 있는 상태, P와 그 부정을 모두 보류한 철회 상태, P의 부정을 수용한 수정 상태를 비교한 표.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

믿음을 거두면 그 반대가 참이라고 믿어야 할까?

믿음 수정의 논리는 철회·추가·수정을 서로 다른 연산으로 다룹니다. 판단을 보류하는 것과 반대 명제를 받아들이는 것은 다른 변화입니다.

Logic of Belief Revision

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
완성 예시, 단계별 빈칸, 독립 문제풀이의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

완성된 풀이를 보여 주기만 하면 초보자가 배울까?

완성 예시, 단계별 빈칸, 독립 문제풀이의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

완성된 풀이를 보여 주기만 하면 초보자가 배울까?

Atkinson·Derry·Renkl·Wortham은 풀이예시 연구를 인지부하 관점에서 종합해 예시-문제 쌍, 단계 표지, 자기설명과 점진적 빈칸의 설계 원리를 제안했습니다.

Learning from Examples: Instructional Principles from the Worked Examples Research

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

196–200 / 294편