Information Flow - The Logic of Distributed Systems

Inhaltsverzeichnis

Preface; Part I. Introduction: 1. Information flow: a review; 2. Information channels: an overview; 3. A simple distributed system; Part II. Channel Theory: 4. Classifications and infomorphisms; 5. Operations on classifications; 6. Distributed systems; 7. Boolean operations and classifications; 8. State spaces; 9. Regular theories; 10. Operations on theories; 11. Boolean operations and theories; 12. Local logics; 13. Reasoning at a distance; 14. Representing local logics; 15. Distributed logics; 16. Logics and state spaces; Part III. Explorations: 17. Speech acts; 18. Vagueness; 19. Common sense reasoning; 20. Representation; 21. Quantum logic; Answers to selected exercises; Bibliography; Glossary of notation; Index of definitions; Index of names.

Zusammenfassung

This book presents a mathematically rigorous, philosophically sound foundation for a science of information based on the observation that information flow is possible only within a connected distributed system. The theory has a wide range of applications, from file transfer, to DNA, to quantum mechanics and to speech act theory.

Produktdetails

• Autoren: Jon Barwise, Jerry Seligman, Whatley
• Mitarbeit: C. J. van Rijsbergen (Herausgeber), C. J. van Rijsbergen (Herausgeber)
• Verlag: Cambridge University Press
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 26.05.2007
• EAN: 9780521583862
• ISBN: 978-0-521-58386-2
• Seiten: 292
• Abmessung: 157 mm x 235 mm x 22 mm
• Gewicht: 628 g
• Serie: Cambridge Tracts in Theoretica
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Informatik