한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과200건

검색 결과 제목

  1. 181증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?
  2. 182같은 연구를 다시 하면 결과는 얼마나 돌아올까?
  3. 183조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?
  4. 184인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?
  5. 185한 번에 몰아 공부하는 것과 나누어 공부하는 것은 어떻게 비교할까?
Coq, 증명 상태, 전술 예측의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

Coq, 증명 상태, 전술 예측의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

GamePad는 Coq 증명을 목표·맥락·전술·하위 목표의 상태 전이로 노출해 AI가 남은 거리와 다음 전술을 학습하도록 했습니다.

GamePad: A Learning Environment for Theorem Proving

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
원 연구, 직접 재현, 복수 기준를 연결해 조건과 범위를 확인하는 교육용 도식.

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

원 연구, 직접 재현, 복수 기준를 연결해 조건과 범위를 확인하는 교육용 도식.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

대규모 심리학 재현 프로젝트는 유의성 하나가 아니라 효과 크기·신뢰구간·주관 평가를 함께 봐야 함을 보여 줍니다.

Estimating the reproducibility of psychological science

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
후보 생성, 조건 검사, 불가능성 증명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

후보 생성, 조건 검사, 불가능성 증명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

SATBench의 2,100개 문제는 해 찾기와 불가능성 판정 사이의 비대칭을 드러냅니다.

SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
자연어 번역, 솔버 실행, 오류 피드백를 연결해 조건과 범위를 확인하는 교육용 도식.

인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?

자연어 번역, 솔버 실행, 오류 피드백를 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?

Logic-LM은 언어모델의 형식화와 기호 솔버의 판정을 결합하고 오류 메시지로 번역을 고치는 절차를 평가했습니다.

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
계획 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분해외 논리학 연구 해설 읽기 →

181–185 / 200편