한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과473건

표시정렬

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

PERSPECTRUM은 주장별 다양한 관점과 근거를 연결하는 과제를 만들고 자동화의 어려움을 측정했습니다.

Seeing Things from a Different Angle: Discovering Diverse Perspectives about Claims

$수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.$

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

Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.

Llemma: An Open Language Model for Mathematics

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

중세의 consequentia 이론은 필연적 진리보존, 형식, 내용 연결을 서로 다른 기준으로 다루었습니다.

Medieval Theories of Consequence

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

대규모 시각화 기억 연구는 독특함과 색·사람 모양의 기억 효과를 보였지만 이해 정확성과는 구분해야 합니다.

What Makes a Visualization Memorable?

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

사망 원인의 빈도를 판단한 고전 실험은 생생하고 보도되기 쉬운 사건이 빈도 추정을 어떻게 기울일 수 있는지 보여 줍니다.

Judged Frequency of Lethal Events

216–220 / 473편