한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과12건

표시정렬

실습forall x: Calgary · Chapter 2 — The scope of logic논리학 배우기

인간의 사고와 추론논리학 배우기 · 실습 · 일반

조건문의 결과를 보았다고 원인을 거꾸로 확정하는 오류를, 다른 원인과 직접 기록을 바꾸며 반례로 고칩니다.

forall x: Calgary · Chapter 2 — The scope of logic

읽기·생활 추론Packaging waste논리학 배우기

인간의 사고와 추론논리학 배우기 · 읽기·생활 추론 · 일반

배달 횟수, 용기 회수율, 회수 거리와 한 번에 모으는 수를 바꾸어 재사용 방식의 제작·세척·물류 경계를 일회용 모형과 비교합니다.

Packaging waste

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

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

Logic and Probability

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

증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.

Proof-Theoretic Semantics

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

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic

1–5 / 12편