Information Flow - The Logic of Distributed Systems

List of contents

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.

Summary

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.

Product details

• Authors: Jon Barwise, Jerry Seligman, Whatley
• Assisted by: C. J. van Rijsbergen (Editor), C. J. van Rijsbergen (Editor)
• Publisher: Cambridge University Press
• Languages: English
• Product format: Hardback
• Released: 26.05.2007
• EAN: 9780521583862
• ISBN: 978-0-521-58386-2
• No. of pages: 292
• Dimensions: 157 mm x 235 mm x 22 mm
• Weight: 628 g
• Series: Cambridge Tracts in Theoretica
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT