한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과242건

검색 결과 제목

  1. 56회상 장면이 먼저 나오면 지금의 실수도 과거 탓일까?
  2. 57논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?
  3. 58숨은 변수가 얼마나 강해야 관찰된 효과를 지울 수 있을까?
  4. 59증명과 프로그램은 어떻게 같은 구조를 가질까?
  5. 60증명은 결론만 맞으면 끝일까?
A와 B를 함께 넣어 A 그리고 B를 만든 뒤 A와 B를 각각 꺼내는 조화된 규칙과, A만 넣고 B를 꺼내는 불조화 규칙을 대비한 도식.

논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?

A와 B를 함께 넣어 A 그리고 B를 만든 뒤 A와 B를 각각 꺼내는 조화된 규칙과, A만 넣고 B를 꺼내는 불조화 규칙을 대비한 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

논리 기호의 뜻을 진리표 없이 규칙으로 정할 수 있을까?

증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.

Proof-Theoretic Semantics

게시 2026-09-21 · 약 9분논리학 학습 글 읽기 →
관찰된 위험비 1.0, 1.5, 2.0, 3.0에 따라 E-value가 1.0, 2.37, 3.41, 5.45로 증가하는 선 그래프.

숨은 변수가 얼마나 강해야 관찰된 효과를 지울 수 있을까?

관찰된 위험비 1.0, 1.5, 2.0, 3.0에 따라 E-value가 1.0, 2.37, 3.41, 5.45로 증가하는 선 그래프.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

숨은 변수가 얼마나 강해야 관찰된 효과를 지울 수 있을까?

E-value는 관찰연구의 결과를 설명해 없애려면 측정하지 못한 교란이 노출·결과와 얼마나 강하게 연관돼야 하는지 위험비 척도로 묻습니다.

Sensitivity Analysis in Observational Research: Introducing the E-Value

게시 2026-09-21 · 약 9분해외 논리학 연구 해설 읽기 →
논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

게시 2026-09-20 · 약 8분해외 논리학 연구 해설 읽기 →
전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.

증명은 결론만 맞으면 끝일까?

전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

증명은 결론만 맞으면 끝일까?

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →

56–60 / 242편