통합검색

명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?

무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.

Infinitary Logic

공간추론 훈련이 수학 학습에도 옮겨갈까?

17,648명 아동의 무작위 연구는 적응형 공간 과제의 구성에 따라 수학 향상 정도가 달라짐을 보여 주었다.

Training spatial cognition enhances mathematical learning in a randomized study of 17,000 children

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

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

GamePad: A Learning Environment for Theorem Proving

공간추론 훈련이 수학 학습에도 옮겨갈까?

공간추론 훈련이 수학 학습에도 옮겨갈까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식