한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

통합검색458건

표시정렬

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

miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

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

Xie와 Wang은 좋은 논증을 말하는 사람의 능력만으로 평가하지 않고, 이해·응답·자기 갱신에 참여하는 청중의 덕을 분석합니다.

Someone it is Good to Argue With

인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

결합 오류 연구는 구체적인 두 조건의 이야기가 포괄적인 한 조건보다 더 그럴듯해 보여도 확률은 더 클 수 없음을 보였습니다.

Extensional versus Intuitive Reasoning: The Conjunction Fallacy in Probability Judgment

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

수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.

The Informal Logic of Mathematical Proof

인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

ProofWriter는 정답 분류와 명시적 증명 생성, 모든 결론 열거와 제한적 역추론을 서로 다른 과제로 평가합니다.

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

356–360 / 458편