한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과8건

검색 결과 제목

  1. 1충돌하는 기록이 발견되면, 어떤 결론부터 다시 확인해야 할까요?
  2. 2‘휴대전화 사용시간’ 설문과 로그가 다르면 어느 쪽 연구를 믿어야 할까?
  3. 3인공지능(AI)가 확신이 낮은 답을 보류하면 정확도는 어떻게 달라질까?
  4. 4학교가 시끄러우면 읽기가 낮아진다는 연구와, 소음을 들려준 실험은 같은 답일까?
  5. 5풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
논문 대담Diderik Batens, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism (2014)Logic, Reasoning, and Rationality, Logic, Argumentation & Reasoning 5, 1–25
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

충돌하는 기록이 발견되면, 어떤 결론부터 다시 확인해야 할까요?

“A함이나 B함에 서류가 있다”와 “A함에는 없다”에서 B함을 결론 냈습니다. 그런데 A함에 있다는 기록도 발견되면 어떻게 해야 할까요? 결론에 붙인 조건을 확인하며, 증명 도중 어떤 줄을 보류하고 다시 사용할 수 있는지 살펴봅니다.

Diderik Batens, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism (2014)

게시 2026-10-08해외 논리학 연구 해설 읽기 →
연구 비교Measuring Mobile Phone Use: Self-Report Versus Log Data해외 학술 연구
인간의 사고와 추론해외 학술 연구 · 연구 비교 · 일반

‘휴대전화 사용시간’ 설문과 로그가 다르면 어느 쪽 연구를 믿어야 할까?

측정 행동·비교 대상·표본을 선택해 포함 연구 수, 설문–로그 결과와 한계, 허용되는 해석을 함께 바꿉니다.

Measuring Mobile Phone Use: Self-Report Versus Log Data

게시 2026-10-04 · 약 32분해외 논리학 연구 해설 읽기 →
가상 예측 카드가 확신 기준을 통과하면 답변으로, 통과하지 못하면 보류로 갈라지는 흐름도

인공지능(AI)가 확신이 낮은 답을 보류하면 정확도는 어떻게 달라질까?

가상 예측 카드가 확신 기준을 통과하면 답변으로, 통과하지 못하면 보류로 갈라지는 흐름도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 확신이 낮은 답을 보류하면 정확도는 어떻게 달라질까?

AI가 낮은 확신의 답을 보류할 때 답한 범위와 정답률이 함께 어떻게 바뀌는지 살펴보고, 선택된 일부의 성능을 전체 신뢰성과 혼동하지 않는 법을 익힙니다.

Language Models (Mostly) Know What They Know

게시 2026-10-02 · 약 11분해외 논리학 연구 해설 읽기 →
연구 비교Exposure-effect relations between aircraft and road traffic noise exposure at school and reading comprehension: the RANCH project해외 학술 연구
논리교육과 평가해외 학술 연구 · 연구 비교 · 일반

학교가 시끄러우면 읽기가 낮아진다는 연구와, 소음을 들려준 실험은 같은 답일까?

다국가 장기 노출 연구와 학급 단위 소음 조건 실험을 결과별로 나누어, 연관성·급성 조건 효과·정책 적용의 범위를 구분합니다.

Exposure-effect relations between aircraft and road traffic noise exposure at school and reading comprehension: the RANCH project

게시 2026-09-29 · 약 34분해외 논리학 연구 해설 읽기 →
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.

HyperTree Proof Search for Neural Theorem Proving

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

1–5 / 8편