주제별 자료 · 연구와 학습

논리의 기초와 역사

기초 개념부터 기존 역사 연재까지 한곳에서

학술 연구 15편 · 기초 개념 52편 · 역사 연재 57편을 구분해 찾아보세요.

해외 학술 연구의 7개 분야

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

논리의 기초와 역사124편

표시정렬

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.

Homotopy Type Theory: Univalent Foundations of Mathematics

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

1차 논리의 콤팩트성 정리는 이론의 모든 유한 부분이 모형을 가지면 전체도 모형을 가진다고 말합니다. 유한 점검과 전체 일관성 사이의 정확한 다리를 살펴봅니다.

First-order Model Theory

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

불가능세계 의미론은 모순된 믿음과 반가능 조건문을 모두 똑같이 참으로 만들지 않는 방법을 탐구합니다.

Impossible Worlds

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

무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.

Infinitary Logic

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

참인 문장이 들어오면 가능한 상황의 범위가 어떻게 바뀌는가?

Logic and Information

66–70 / 124편