한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과420건

표시정렬

논증과 대화해외 학술 연구 · 연구 해설 · 일반

Goldstein·Crowell·Kuhn은 논증을 직접 만드는 수행과 제시된 논증을 평가하는 판단을 같은 도구로 보지 말아야 한다고 보여 줬다.

What Constitutes Skilled Argumentation and How Does it Develop?

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

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

Mathematical Discoveries from Program Search with Large Language Models

논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

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

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

논리의 기초와 역사논리학 배우기 · 개념·이론 · 심화

증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.

Proof-Theoretic Semantics

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

171–175 / 420편