한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과101건

검색 결과 제목

  1. 86이번 일도 계획한 날짜에 끝날 거라고 믿는 이유는 뭘까?
  2. 87가능하다는 말은 어디까지 보장할까?
  3. 88예방책이 사후 해결책도 된다고 말해도 될까?
  4. 89증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
  5. 90결과가 같아도 ‘살린다’와 ‘죽는다’는 선택을 바꿀까?
계획 오류, 내부 관점, 과거 분포의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

이번 일도 계획한 날짜에 끝날 거라고 믿는 이유는 뭘까?

계획 오류, 내부 관점, 과거 분포의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

이번 일도 계획한 날짜에 끝날 거라고 믿는 이유는 뭘까?

Buehler·Griffin·Ross의 다섯 연구는 사람들이 자신의 과제를 예측할 때 과거 분포보다 미래 시나리오에 집중해 완료 시간을 낙관한다고 보였습니다.

Exploring the Planning Fallacy: Why People Underestimate Their Task Completion Times

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
가 계획은 토요일·실내·자막 제공, 나는 토요일·야외·자막 제공, 다는 일요일·실내·자막 제공이다. 야외는 일부 계획, 자막은 모든 계획에 해당한다.

가능하다는 말은 어디까지 보장할까?

가 계획은 토요일·실내·자막 제공, 나는 토요일·야외·자막 제공, 다는 일요일·실내·자막 제공이다. 야외는 일부 계획, 자막은 모든 계획에 해당한다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 입문

가능하다는 말은 어디까지 보장할까?

한 가지 가능한 계획과 모든 계획에서 유지되는 조건을 구분합니다. 양상논리를 작은 일정표로 읽어봅니다.

Modal Logic

게시 2026-09-12 · 약 7분논리학 학습 글 읽기 →
후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

DeepSeek-Prover-V1.5는 Lean 4 검증 피드백을 강화학습과 트리 탐색에 이용해 형식증명 성능을 평가했습니다.

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
60석 중 20석 보존과 40석 손실이라는 두 표현이 같은 확실한 결과를 가리키고, 위험 선택도 같은 0석·60석 결과와 확률로 연결되는 표.

결과가 같아도 ‘살린다’와 ‘죽는다’는 선택을 바꿀까?

60석 중 20석 보존과 40석 손실이라는 두 표현이 같은 확실한 결과를 가리키고, 위험 선택도 같은 0석·60석 결과와 확률로 연결되는 표.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

결과가 같아도 ‘살린다’와 ‘죽는다’는 선택을 바꿀까?

1981년 프레이밍 연구는 수학적으로 같은 선택지가 이득·손실 표현에서 다르게 선택될 수 있음을 보였습니다. 고전 결과와 한계를 구분합니다.

The Framing of Decisions and the Psychology of Choice

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

86–90 / 101편