Information Flow by Jon Barwise
Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.-
The Optimal Implementation of Functional Programming Languages
-
Mathematics for Computer Graphics
-
The Clausal Theory of Types
-
Basic Proof Theory
-
Process Algebra
-
Nonmonotonic Reasoning
-
Applications of Process Algebra
- Reasoning about Gossip
-
Belief Revision
-
Mathematical Theory of Domains
-
Process Algebra: Equational Theories of Communicating Processes
-
Initial Algebras and Terminal Coalgebras
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
Finite-State Techniques
-
Higher Order Logic and Hardware Verification
-
Formal Methods in Artificial Intelligence
-
Hybrid Graph Theory and Network Analysis
-
Data Refinement
-
Lambda-calculus, Combinators and Functional Programming
-
A Unifying Framework for Structured Analysis and Design Models
-
Concurrency Verification
-
Design Theory and Computer Science
-
Nets, Terms and Formulas
-
Computational Learning Theory
-
Metamathematics, Machines and Goedel's Proof
-
Formal Specification and Design
-
The Logic of Typed Feature Structures
-
Free Choice Petri Nets
-
Two-Level Functional Languages
-
Basic Simple Type Theory
-
Term Rewriting Systems
-
The Uncertain Reasoner's Companion
-
Deductive and Declarative Programming
-
Domains and Lambda-Calculi
-
Formal Semantics and Pragmatics for Natural Language Querying
"This important interdisciplinary text is ideal for graduate students and researchers in mathematics, computer science, philosophy, linguistics, logic, and cognitive science" Computing Reviews
"This iis an enjoyable book on information flow, an important recent topic in the study of logic, language and computation, enriching the science of information by a mathematically rigorous foundation." Mathematical Reviews
"...two thumbs up...." Complexity
"...an important book...useful...inspiring...accessible to most graduate students in logic, computer science, philosophy, mathematics, linguistics, and cognitive science. Everyone working in those areas will find material of interest in the book." Journal of Symbolic Logic
"This iis an enjoyable book on information flow, an important recent topic in the study of logic, language and computation, enriching the science of information by a mathematically rigorous foundation." Mathematical Reviews
"...two thumbs up...." Complexity
"...an important book...useful...inspiring...accessible to most graduate students in logic, computer science, philosophy, mathematics, linguistics, and cognitive science. Everyone working in those areas will find material of interest in the book." Journal of Symbolic Logic
| SKU | Unavailable |
| ISBN 13 | 9780521583862 |
| ISBN 10 | 0521583861 |
| Title | Information Flow |
| Author | Jon Barwise |
| Series | Cambridge Tracts In Theoretical Computer Science |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 1997-07-28 |
| Number of pages | 292 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |