기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 57편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
학생 번호가 같은 두 기록에서 이름도 같은지 비교해 봅니다. 수강 신청표를 예로 들어, 어떤 정보가 다른 정보를 하나로 정해 주는 관계를 설명합니다. 이어서 값의 조합을 통해 독립과 조건부 독립을 살펴봅니다.
Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)
“이 자료가 이 주장의 근거다”라는 문장도 논리적으로 검사할 수 있을까요? 토마스 슈투더의 연구는 반례를 찾는 데 필요한 모형의 크기에 상한을 두는 조건을 다룹니다. 반례 하나를 찾는 일과 가능한 경우를 모두 확인하는 일을 구분해 읽습니다.
Thomas Studer, Justification logic enjoys the strong finite model property (2015)
1434년 공중 해시계 기록과 후대 현존 앙부일구를 구분하고, 그림자 끝점의 두 좌표가 시각과 절기를 어떻게 함께 나타내는지 검산합니다.
격자 무늬의 한 행을 카드 한 장으로 옮기고, 구멍의 유무로 어떤 날실을 들어 올릴지 정하는 자카르 장치를 살펴봅니다. 카드의 순서와 반복이 무늬를 어떻게 바꾸는지 검산하고, 이 방식이 배비지의 해석기관에 준 영향과 두 기계의 차이를 구분합니다.
아리스토텔레스의 바르바라·셀라렌트 삼단논법을 용어 정의부터 포함 관계, 반례, 현대 논리식까지 차례로 설명합니다.
Aristotle, Prior Analytics · Book I
31–35 / 187편
