한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과101건

검색 결과 제목

  1. 41무작위배정된 사람을 모두 넣기만 하면 의향대로 분석이 될까?
  2. 42정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
  3. 43자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?
  4. 44수학 전체를 논리에서 다시 세울 수 있을까?
  5. 45선택지가 많으면 언제나 선택이 어려울까?
각 100명 무작위배정 뒤 참여와 결과 관측 수가 달라지고 결측 처리 가정으로 분석이 이어지는 흐름도

무작위배정된 사람을 모두 넣기만 하면 의향대로 분석이 될까?

각 100명 무작위배정 뒤 참여와 결과 관측 수가 달라지고 결측 처리 가정으로 분석이 이어지는 흐름도
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

무작위배정된 사람을 모두 넣기만 하면 의향대로 분석이 될까?

의향대로 분석은 배정 집단 유지뿐 아니라 모든 참가자의 결과를 얻고 결측 처리 가정을 밝히는 문제까지 포함합니다.

Intention-to-Treat Analyses and Missing Outcome Data: A Tutorial

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?

대규모 자연어 문제를 Lean 정리로 바꾸며 의미 보존을 어떻게 확인하는가?

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.

수학 전체를 논리에서 다시 세울 수 있을까?

논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

수학 전체를 논리에서 다시 세울 수 있을까?

논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.

Logicism and Neologicism

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
50개 연구 → 63개 비교 조건 → 참가자 5,036명 → 평균≈0·이질성 큼를 비교하는 LTCT 교육용 도식

선택지가 많으면 언제나 선택이 어려울까?

50개 연구 → 63개 비교 조건 → 참가자 5,036명 → 평균≈0·이질성 큼를 비교하는 LTCT 교육용 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

선택지가 많으면 언제나 선택이 어려울까?

50개 연구의 63개 조건과 5,036명을 종합한 메타분석은 선택 과부하의 평균 효과가 사실상 0에 가까웠지만 연구 간 차이가 컸다고 보고했습니다.

Can There Ever Be Too Many Options? A Meta-Analytic Review of Choice Overload

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

41–45 / 101편