한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과1573건

검색 결과 제목

  1. 721코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?
  2. 722증명을 한 번에 쓰고 오류 메시지로 고치면 될까?
  3. 723한 번에 여러 번 맞히는 것과 며칠 간격으로 다시 맞히는 것 중 무엇이 오래갈까?
  4. 724믿음을 거두면 그 반대가 참이라고 믿어야 할까?
  5. 725색을 말하려는데 글자가 먼저 읽히는 이유는 무엇일까?
코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

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

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

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

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

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

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

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

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

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

세 실험 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분논리학 학습 글 읽기 →
파란색 초록, 초록색 빨강, 빨간색 파랑 자극에서 읽기와 인쇄색 말하기의 답이 달라진다.

색을 말하려는데 글자가 먼저 읽히는 이유는 무엇일까?

파란색 초록, 초록색 빨강, 빨간색 파랑 자극에서 읽기와 인쇄색 말하기의 답이 달라진다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

색을 말하려는데 글자가 먼저 읽히는 이유는 무엇일까?

스트루프의 원논문은 글자 읽기와 색 이름 말하기의 간섭을 서로 다르게 비교했습니다. 익숙한 반응이 현재 과제에 끼어드는 장면을 살펴봅니다.

Studies of Interference in Serial Verbal Reactions

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

721–725 / 1573편