연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.
Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)
주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.
John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)
가상의 온도 기록에서 19.6도와 20.4도는 모두 화면에 20도로 표시된다. 기준값 20 이상 여부는 반올림된 표시만으로 정할 수 없으며, 판정에는 반올림 전 정확값과 비교 규칙이 필요하다는 점을 관계 그림으로 살핀다.
“모든 사람은 죽는다. 소크라테스는 사람이다.”에서 결론이 나오는 과정을 한 줄씩 적어 봅니다. 프레게의 『개념표기법』은 문장 속 대상과 조건, 추론에 쓰인 규칙을 기호로 드러내려 했습니다. 원전의 획과 현대 표기를 구분하며 읽습니다.
Gottlob Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)
어떤 대상이 “키가 크다”에 해당하는 정도를 0.7, “빠르다”에 해당하는 정도를 0.6으로 정했다고 합시다. 두 조건을 함께 말할 때 결과는 얼마일까요? 페트르 하예크의 논문을 따라 계산 규칙과 추론의 관계를 살펴봅니다. 이 수치는 계산을 설명하기 위해 정한 예입니다.
Petr Hájek, What is Mathematical Fuzzy Logic (2006)
1–5 / 203편
