한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과25건

표시정렬

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

NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.

NaturalProver: Grounded Mathematical Proof Generation With Language Models

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

온라인 토론 자료 연구는 설득 여부가 문장 특징뿐 아니라 참여 시점과 왕복 대화 같은 상호작용과 연결됨을 보여 줍니다.

Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions

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

생각의 나무는 중간 풀이를 여러 갈래로 만들고 평가하여 탐색합니다. 유망하다는 판단과 실제 정답 검사는 따로 보아야 합니다.

Tree of Thoughts: Deliberate Problem Solving with Large Language Models

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

Mini-VLAT는 53문항을 12문항으로 줄이면서 통계적 관계와 내용 타당성을 함께 고려했습니다. 짧은 시험의 설계에서 남겨야 할 증거를 살펴봅니다.

Mini-VLAT: A Short and Effective Measure of Visualization Literacy

논증과 대화논리학 배우기 · 개념·이론 · 일반

오류 이름을 맞히는 일보다 숨은 전제와 대화 맥락을 드러내는 일이 왜 중요한지 질문 설계로 알아봅니다.

Fallacies

16–20 / 25편