한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과188건

표시정렬

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

논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.

Logicism and Neologicism

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

폴리로그 연구는 다자 토론을 여러 입장·역할·연합이 변하는 상호작용으로 봅니다.

Argumentative Polylogues in a Dialectical Framework: A Methodological Inquiry

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

Berglund는 설명변수의 무작위 측정오차가 회귀계수를 0 쪽으로 끌어당기는 회귀 희석과 반복 측정 기반 보정·표본수 설계를 설명했다.

Regression dilution bias: Tools for correction methods and sample size calculation

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

모바일 산점도 비교 실험은 속도·정확도·확신이 같은 방향으로 움직이지 않을 수 있음을 보여 줍니다. 대상의 경로와 과제에 맞춰 화면을 선택해야 합니다.

A Comparative Evaluation of Animation and Small Multiples for Trend Visualization on Mobile Phones

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

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

101–105 / 188편