Information Flow - The Logic of Distributed Systems

Table des matières

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.

Résumé

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.

Détails du produit

• Auteurs: Jon Barwise, Jerry Seligman, Whatley
• Collaboration: C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
• Edition: Cambridge University Press
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 26.05.2007
• EAN: 9780521583862
• ISBN: 978-0-521-58386-2
• Pages: 292
• Dimensions: 157 mm x 235 mm x 22 mm
• Poids: 628 g
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique