한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과241건

표시정렬

증명 이야기Thomas Aquinas, Summa Theologiae I, q. 2, a. 3New Advent

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

작용인과 원인의 의존 관계를 차근차근 살피며 아퀴나스의 둘째 길을 재구성하고, 무한 퇴행과 신의 존재를 연결하는 문제를 검토합니다.

Thomas Aquinas, Summa Theologiae I, q. 2, a. 3

증명 이야기Aristotle, Prior Analytics · Book IThe Internet Classics Archive · MIT

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

아리스토텔레스의 바르바라·셀라렌트 삼단논법을 용어 정의부터 포함 관계, 반례, 현대 논리식까지 차례로 설명합니다.

Aristotle, Prior Analytics · Book I

증명 이야기칸토어 1891년 논문 핵심 논증 · 독일어 전사와 번역The Logic Museum · Jahresbericht der Deutschen Mathematiker-Vereinigung 1, 75–78

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

자연수와 0과 1 사이의 실수는 어느 쪽이 더 많을까요? 번호와 소수점 자리의 뜻부터 시작해 칸토어 대각선 논법을 증명하고, 1891년 원전의 두 기호 배열과 연결합니다.

칸토어 1891년 논문 핵심 논증 · 독일어 전사와 번역

논문 대담Amir Pnueli, The Temporal Logic of Programs (1977)18th Annual Symposium on Foundations of Computer Science, 46–57

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

프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.

Amir Pnueli, The Temporal Logic of Programs (1977)

논문 대담Per Martin-Löf, Intuitionistic Type Theory (1984)Studies in Proof Theory 1, Bibliopolis, Naples, ix+91 pp.

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

“어떤 자연수에 1을 더하면 3이 된다”를 증명해 봅시다. 수 2를 고르는 일과 2+1=3을 확인하는 일이 함께 필요합니다. 마르틴뢰프의 유형론을 따라, 증명의 각 부분을 어떻게 만들고 사용하는지 살펴봅니다.

Per Martin-Löf, Intuitionistic Type Theory (1984)

16–20 / 241편