한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과212건

검색 결과 제목

  1. 161한 번에 몰아 공부하는 것과 나누어 공부하는 것은 어떻게 비교할까?
  2. 162정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?
  3. 163시각화가 틀리면 어느 단계부터 다시 봐야 할까?
  4. 164AI가 80%라고 말하면 열 번 중 여덟 번 맞을까?
  5. 165좋아진 결과, 정말 새 방법 덕분일까?
계획 A는 토요일 80분 한 칸, 계획 B는 월수금토 각 20분 네 칸으로 총 80분을 같게 배치하고 즉시 검사와 1주 뒤 검사를 표시한 달력형 표.

한 번에 몰아 공부하는 것과 나누어 공부하는 것은 어떻게 비교할까?

계획 A는 토요일 80분 한 칸, 계획 B는 월수금토 각 20분 네 칸으로 총 80분을 같게 배치하고 즉시 검사와 1주 뒤 검사를 표시한 달력형 표.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

한 번에 몰아 공부하는 것과 나누어 공부하는 것은 어떻게 비교할까?

열 가지 학습 기법을 종합한 2013년 검토에서 분산학습의 근거와 실제 적용 한계를 정확히 구분합니다.

Improving Students' Learning With Effective Learning Techniques: Promising Directions From Cognitive and Educational Psychology

게시 2026-09-12 · 약 11분해외 논리학 연구 해설 읽기 →
HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
영역 문제, 추상화, 표현·알고리즘의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

시각화가 틀리면 어느 단계부터 다시 봐야 할까?

영역 문제, 추상화, 표현·알고리즘의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

시각화가 틀리면 어느 단계부터 다시 봐야 할까?

Munzner의 중첩 모형은 시각화의 네 설계 층을 나누고, 위층의 오해가 아래층의 정교한 구현까지 연쇄적으로 무효화할 수 있음을 보입니다.

A Nested Model for Visualization Design and Validation

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

161–165 / 212편