한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과412건

표시정렬

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

시각표시는 정보를 담는 그릇이 아니라 지각·기억·추론과 함께 작동하는 도구입니다. 과제와 독자에 맞춘 설계 원칙을 살펴봅니다.

The Cognitive Science of Visual-Spatial Displays: Implications for Design

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

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

Fallacies

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

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

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

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

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

Someone it is Good to Argue With

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

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

The Informal Logic of Mathematical Proof

301–305 / 412편