한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과210건

검색 결과 제목

  1. 186잘 안다고 느낀 장치를 막상 설명하면 어디서 막힐까?
  2. 187전제를 한 번 쓰고 버려야 하는 논리도 있을까?
  3. 188인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
  4. 189관찰자료로 실험을 흉내 내려면 무엇부터 정해야 할까?
  5. 190예방책이 사후 해결책도 된다고 말해도 될까?
가상 조명 모형에서 밝기 입력, 30보다 작은지 비교, 참일 때 켜기, 경계값 30일 때 끄기를 구분한 표.

잘 안다고 느낀 장치를 막상 설명하면 어디서 막힐까?

가상 조명 모형에서 밝기 입력, 30보다 작은지 비교, 참일 때 켜기, 경계값 30일 때 끄기를 구분한 표.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

잘 안다고 느낀 장치를 막상 설명하면 어디서 막힐까?

설명적 깊이의 착각을 다룬 고전 연구의 공개 초록을 읽고, 작동 단계를 직접 설명해 자신의 빈 연결을 찾는 활동을 제안합니다.

The misunderstood limits of folk science: an illusion of explanatory depth

게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
선형논리, 자원, 수축·약화의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

전제를 한 번 쓰고 버려야 하는 논리도 있을까?

선형논리, 자원, 수축·약화의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

전제를 한 번 쓰고 버려야 하는 논리도 있을까?

선형논리는 전제를 무한히 복제하거나 버릴 수 있다는 구조 규칙을 제한해, 명제를 소비되는 자원처럼 추적합니다.

Linear Logic

게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.

인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?

형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?

AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.

Solving Olympiad Geometry without Human Demonstrations

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
표적시험, 시점 0, 분석 계획의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

관찰자료로 실험을 흉내 내려면 무엇부터 정해야 할까?

표적시험, 시점 0, 분석 계획의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

관찰자료로 실험을 흉내 내려면 무엇부터 정해야 할까?

Hernán과 Robins는 관찰자료 분석 전에 모방하려는 무작위시험의 참여 기준·전략·추적·결과·분석을 먼저 명시하라고 제안합니다.

Using Big Data to Emulate a Target Trial When a Randomized Trial Is Not Available

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

186–190 / 210편