000 02810nam a22003738i 4500
001 CR9780511895968
003 UkCbUP
005 20200124160233.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 101123s1997||||enk o ||1 0|eng|d
020 _a9780511895968 (ebook)
020 _z9780521583862 (hardback)
020 _z9780521070997 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA76.9.D5
_bB363 1997
082 0 0 _a003/.54
_220
100 1 _aBarwise, Jon,
_eauthor.
245 1 0 _aInformation flow :
_bthe logic of distributed systems /
_cJon Barwise, Jerry Seligman.
264 1 _aCambridge :
_bCambridge University Press,
_c1997.
300 _a1 online resource (xv, 274 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aCambridge tracts in theoretical computer science ;
_v44
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 0 _gpt. I.
_tIntroduction.
_g1.
_tInformation Flow: A Review.
_g2.
_tInformation Channels: An Overview.
_g3.
_tA Simple Distributed System --
_gpt. II.
_tChannel Theory.
_g4.
_tClassifications and Infomorphisms.
_g5.
_tOperations on Classifications.
_g6.
_tDistributed Systems.
_g7.
_tBoolean Operations and Classifications.
_g8.
_tState Spaces.
_g9.
_tRegular Theories.
_g10.
_tOperations on Theories.
_g11.
_tBoolean Operations and Theories.
_g12.
_tLocal Logics.
_g13.
_tReasoning at a Distance.
_g14.
_tRepresenting Local Logics.
_g15.
_tDistributed Logics.
_g16.
_tLogics and State Spaces --
_gpt. III.
_tExplorations.
_g17.
_tSpeech Acts.
_g18.
_tVagueness.
_g19.
_tCommonsense Reasoning.
_g20.
_tRepresentation.
_g21.
_tQuantum Logic.
520 _aInformation 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.
650 0 _aElectronic data processing
_xDistributed processing.
700 1 _aSeligman, Jerry,
_d1964-
_eauthor.
776 0 8 _iPrint version:
_z9780521583862
830 0 _aCambridge tracts in theoretical computer science ;
_v44.
856 4 0 _uhttps://doi.org/10.1017/CBO9780511895968
999 _c517838
_d517836