한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과133건

검색 결과 제목

  1. 76부분의 부분은 전체의 부분일까? 집합의 원소도 그럴까?
  2. 77확률을 넣은 논리도 여전히 연역논리일 수 있을까?
  3. 78전제의 순서를 바꾸거나 같은 전제를 두 번 써도 된다는 규칙도 논리의 일부일까?
  4. 79논리 기호의 뜻을 진리표 없이 설명할 수 있을까?
  5. 80증명과 프로그램이 같은 구조라고 말할 수 있을까?
사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

사건 A와 B의 주변확률에서 교집합 확률의 허용 범위와 독립 가정의 값을 구분하는 도식
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

확률을 넣은 논리도 여전히 연역논리일 수 있을까?

확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.

Logic and Probability

게시 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분해외 논리학 연구 해설 읽기 →

76–80 / 133편