그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.
해외 학술 연구의 7개 분야
뉴턴 다 코스타의 《On the Theory of Inconsistent Formal Systems》(1974)을 따라, 모순과 사소성의 구분에서 Cₙ 계층과 NF₁ 집합론까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Newton C. A. da Costa, On the Theory of Inconsistent Formal Systems (1974)
다 코스타와 카르니엘리의 《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)
측정 행동·비교 대상·표본을 선택해 포함 연구 수, 설문–로그 결과와 한계, 허용되는 해석을 함께 바꿉니다.
Measuring Mobile Phone Use: Self-Report Versus Log Data
76–80 / 480묶음
