Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior /

• Κύριοι συγγραφείς: Schultz, Patrick (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Spivak, David I. (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Birkhäuser, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Progress in Computer Science and Applied Logic, 29
• Θέματα: Category theory (Mathematics).; Homological algebra.; Mathematical logic.; System theory.; Aerospace engineering.; Astronautics.; Category Theory, Homological Algebra.; Mathematical Logic and Foundations.; Systems Theory, Control.; Mathematical Logic and Formal Languages.; Aerospace Technology and Astronautics.

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a categ...

Πίνακας περιεχομένων:

• Introduction
• The Interval Domain
• Translation Invariance
• Logical Preliminaries
• Axiomatics
• Semantics and Soundness
• Local Numeric Types and Derivatives
• Applications
• Appendices
• Bibliography
• Index.