연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
다 코스타와 카르니엘리의 《On Paraconsistent Deontic Logic》(1986)을 따라, 충돌하는 의무와 C₁ᴰ의 비사소성, 가능세계 의미론과 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)
장이브 지라르의 《Linear Logic》(1987)을 따라, 전제의 사용에서 증명망과 정규화까지 읽습니다. 14개의 문답, 15개의 생각그림, 세 가지 실험을 함께 담았습니다.
Jean-Yves Girard, Linear Logic (1987)
이브 라퐁의 《Soft Linear Logic and Polynomial Time》(2004)을 따라, 복제의 규칙에서 계산량의 상한까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험으로 다항시간 보증의 조건을 확인합니다.
Yves Lafont, Soft Linear Logic and Polynomial Time (2004)
이름·담화 중심·앞 문맥·행동 의미를 바꾸어 민재와 도윤 가운데 남는 지시 후보와 보완할 단서를 비교합니다.
Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective
얼룩 횟수·부분 세척 물·실패 횟수·모아 빨기 가능성을 바꾸어 두 대응의 연간 추가 물과 절약 경계를 계산합니다.
Clothes Washers
161–165 / 602편
