정보가 늘면 가능한 세계의 수는 왜 줄어들까?
참인 문장이 들어오면 가능한 상황의 범위가 어떻게 바뀌는가?
Logic and Information
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과70건
검색 결과 제목
탐구수업은 학생이 스스로 할수록 더 효과적일까?
37개 실험·준실험을 종합한 연구는 ‘탐구’의 구성요소와 교사 주도 정도를 구분해야 평균 효과를 해석할 수 있음을 보여 줍니다.
Experimental and Quasi-Experimental Studies of Inquiry-Based Science Teaching: A Meta-Analysis
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
자연어 수학문제를 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분논리학 학습 글 읽기 →
수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.
Llemma: An Open Language Model for Mathematics
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
36–40 / 70편