책 이미지
eBook 미리보기
책 정보
· 제목 : Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Hardcover, 2019)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 대수학 > 추상대수학
· ISBN : 9783030007034
· 쪽수 : 235쪽
· 출판일 : 2019-02-11
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 대수학 > 추상대수학
· ISBN : 9783030007034
· 쪽수 : 235쪽
· 출판일 : 2019-02-11
목차
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
