연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
학생 번호가 같은 두 기록에서 이름도 같은지 비교해 봅니다. 수강 신청표를 예로 들어, 어떤 정보가 다른 정보를 하나로 정해 주는 관계를 설명합니다. 이어서 값의 조합을 통해 독립과 조건부 독립을 살펴봅니다.
Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)
“이 자료가 이 주장의 근거다”라는 문장도 논리적으로 검사할 수 있을까요? 토마스 슈투더의 연구는 반례를 찾는 데 필요한 모형의 크기에 상한을 두는 조건을 다룹니다. 반례 하나를 찾는 일과 가능한 경우를 모두 확인하는 일을 구분해 읽습니다.
Thomas Studer, Justification logic enjoys the strong finite model property (2015)
아리스토텔레스의 바르바라·셀라렌트 삼단논법을 용어 정의부터 포함 관계, 반례, 현대 논리식까지 차례로 설명합니다.
Aristotle, Prior Analytics · Book I
스테판 레반도프스키와 동료들의 검토 논문 초록을 읽으며, 잘못된 정보가 정정된 뒤에도 기억과 추론에 영향을 남기는 이유와 정정문을 설계할 때 고려할 점을 살핀다.
오정보와 그 수정: 지속되는 영향과 성공적인 편향 줄이기(Misinformation and Its Correction: Continued Influence and Successful Debiasing)
“모든 사람은 죽는다. 소크라테스는 사람이다.”에서 결론이 나오는 과정을 한 줄씩 적어 봅니다. 프레게의 『개념표기법』은 문장 속 대상과 조건, 추론에 쓰인 규칙을 기호로 드러내려 했습니다. 원전의 획과 현대 표기를 구분하며 읽습니다.
Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)
26–30 / 521편
