한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과43건

검색 결과 제목

  1. 16인공지능(AI)는 빠진 전제가 있는 논증도 같은 유형으로 분류할 수 있을까?
  2. 17‘내가 이해했나?’라는 질문을 띄우면 학습 결과도 오를까?
  3. 18그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  4. 19인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?
  5. 20같은 성찰 질문을 여덟 주 내내 주면 전략 사용이 계속 늘까?
표면 전제와 결론 사이 빈칸에 생략 전제를 복원한 뒤 유형 분류와 품질 평가로 갈라지는 도식

인공지능(AI)는 빠진 전제가 있는 논증도 같은 유형으로 분류할 수 있을까?

표면 전제와 결론 사이 빈칸에 생략 전제를 복원한 뒤 유형 분류와 품질 평가로 갈라지는 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)는 빠진 전제가 있는 논증도 같은 유형으로 분류할 수 있을까?

ACL 2025 연구는 일곱 언어모델의 논증 유형 분류를 비교하며, 생략된 전제가 있는 엔티밈과 작은 모델에서 어려움이 커짐을 보였습니다.

Can Large Language Models Understand Argument Schemes?

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
110명이 프롬프트와 통제 집단으로 무작위 배정되고 두 자료 유형을 모두 학습한 뒤 24문항 검사를 받는 2대2 실험 흐름도

‘내가 이해했나?’라는 질문을 띄우면 학습 결과도 오를까?

110명이 프롬프트와 통제 집단으로 무작위 배정되고 두 자료 유형을 모두 학습한 뒤 24문항 검사를 받는 2대2 실험 흐름도
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

‘내가 이해했나?’라는 질문을 띄우면 학습 결과도 오를까?

체코 대학생 110명을 무작위 배정한 2×2 실험에서 메타인지 프롬프트의 지식검사 효과가 유의하지 않았고 자료 형식과 개인차가 중요했음을 살펴봅니다.

Exploring the effects of metacognitive prompts on learning outcomes: An experimental study in higher education

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
언어모델 후보, 자동 평가기, 우수 프로그램 재투입의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?

언어모델 후보, 자동 평가기, 우수 프로그램 재투입의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?

Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.

Mathematical Discoveries from Program Search with Large Language Models

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
1주부터 4주까지 두 집단 모두 프롬프트를 받고 5주부터 8주까지 지속과 제거로 갈라지는 시간선

같은 성찰 질문을 여덟 주 내내 주면 전략 사용이 계속 늘까?

1주부터 4주까지 두 집단 모두 프롬프트를 받고 5주부터 8주까지 지속과 제거로 갈라지는 시간선
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

같은 성찰 질문을 여덟 주 내내 주면 전략 사용이 계속 늘까?

대학생 74명의 8주 학습일지 연구에서 초기 프롬프트는 전략 사용을 활성화했지만, 장기 제공 집단은 단기 제공 집단보다 전략·자기효능감·시험성적이 높지 않았습니다.

Effects of Short- and Long-Term Prompting in Learning Journals on Strategy Use, Self-efficacy, and Learning Outcomes

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

16–20 / 43편