한곳에서 찾는 논리 자료

통합검색

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

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

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과1573건

검색 결과 제목

  1. 676인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?
  2. 677전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?
  3. 678논리 기호의 뜻을 진리표 없이 설명할 수 있을까?
  4. 679증명과 프로그램이 같은 구조라고 말할 수 있을까?
  5. 680관찰연구의 여러 특성을 확률 하나로 맞춰도 될까?
같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
일회용 전제 T 하나가 두 분기 중 하나로만 이동하고 사용 뒤 잔량이 0이 되는 자원 추적도

전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?

일회용 전제 T 하나가 두 분기 중 하나로만 이동하고 사용 뒤 잔량이 0이 되는 자원 추적도
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?

부분구조논리는 교환·축약·약화 같은 구조 규칙을 선택적으로 제한해, 전제의 순서·수량·관련성이 추론에 미치는 영향을 드러냅니다.

Substructural Logics

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
A의 증거, 함수 A → B, B의 증거의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

증명과 프로그램이 같은 구조라고 말할 수 있을까?

A의 증거, 함수 A → B, B의 증거의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램이 같은 구조라고 말할 수 있을까?

Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.

Propositions as Types

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
낮은 점수 → 0.0–0.3 → 대조 우세 / 공통지지 → 0.3–0.7 → 비교 가능 / 높은 점수 → 0.7–1.0 → 처치 우세를 비교하는 LTCT 교육용 도식

관찰연구의 여러 특성을 확률 하나로 맞춰도 될까?

낮은 점수 → 0.0–0.3 → 대조 우세 / 공통지지 → 0.3–0.7 → 비교 가능 / 높은 점수 → 0.7–1.0 → 처치 우세를 비교하는 LTCT 교육용 도식
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

관찰연구의 여러 특성을 확률 하나로 맞춰도 될까?

성향점수는 관찰된 공변량을 균형화하지만 숨은 교란을 해결하지 않습니다.

The Central Role of the Propensity Score in Observational Studies for Causal Effects

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →

676–680 / 1573편