Information flow: the logic of distributed systems
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
2008
|
| Ausgabe: | [Nachdr.] |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
44 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016724744&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Originally published: 1997 |
| Umfang: | XV, 274 S. graph. Darst. |
| ISBN: | 0521070996 9780521070997 9780521583862 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035056154 | ||
| 003 | DE-604 | ||
| 005 | 20081110 | ||
| 007 | t| | ||
| 008 | 080917s2008 xx d||| |||| 00||| eng d | ||
| 020 | |a 0521070996 |c pbk. : £27.99 |9 0-521-07099-6 | ||
| 020 | |a 9780521070997 |c pbk. : £27.99 |9 978-0-521-07099-7 | ||
| 020 | |a 9780521583862 |c hc. |9 978-0-521-58386-2 | ||
| 035 | |a (OCoLC)845369794 | ||
| 035 | |a (DE-599)GBV570540445 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-29T |a DE-19 |a DE-83 | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 004.36 |2 22 | |
| 082 | 0 | |a 003.54 |2 21 | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a 68Pxx |2 msc | ||
| 100 | 1 | |a Barwise, Jon |d 1942-2000 |e Verfasser |0 (DE-588)124163092 |4 aut | |
| 245 | 1 | 0 | |a Information flow |b the logic of distributed systems |c Jon Barwise ; Jerry Seligman |
| 250 | |a [Nachdr.] | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 2008 | |
| 300 | |a XV, 274 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 44 | |
| 500 | |a Originally published: 1997 | ||
| 650 | 4 | |a Traitement réparti | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 0 | 7 | |a Informationstheorie |0 (DE-588)4026927-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143389-0 |a Aufgabensammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informationstheorie |0 (DE-588)4026927-9 |D s |
| 689 | 1 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Seligman, Jerry |e Verfasser |4 aut | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 44 |w (DE-604)BV000754528 |9 44 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016724744&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016724744 | |
Datensatz im Suchindex
| _version_ | 1819266264755863552 |
|---|---|
| adam_text | Contents
Preface
page
xi
Part I: Introduction
1
1
Information Flow: A Review
3
1.1
The Worldly Commerce of Information
................... 3
1.2
Regularity in Distributed Systems
........................ 7
1.3
Information and Knowledge
............................. 10
1.4
The Grammar of Information Flow
....................... 12
1.5
Approaches to Information
.............................. 14
1.6
Summary
.............................................. 24
2
Information Channels: An Overview
26
2.1
Classifications and Infomorphisms
....................... 26
2.2
Information Channels
................................... 34
2.3
Local Logics
........................................... 37
2.4
Exceptions
............................................. 42
2.5
State Spaces
........................................... 46
3
A Simple Distributed System
50
3.1
The Static Case
........................................ 54
3.2
The Dynamic Case
..................................... 62
Part II: Channel Theory
67
4
Classifications and Infomorphisms
69
4.1
Classifications
......................................... 69
vi
Contents
vii
4.2
Infomorphisms
......................................... 72
4.3 Information Channels
Defined
........................... 75
4.4
Type-Token Duality
.................................... 78
5
Operations on Classifications
81
5.1
Sums of Classifications
................................. 81
5.2
Invariants and Quotients
................................. 84
6
Distributed Systems
89
6.1
The Xerox Principle
.................................... 89
6.2
Distributed Systems to Channels
......................... 91
7
Boolean Operations and Classifications
98
7.1
Boolean Operations on Classifications
.................... 98
7.2
Boolean Operations in Classifications
.................... 100
7.3
Boolean Classifications
................................. 100
8
State Spaces
103
8.1
State Spaces and Projections
............................. 103
8.2
Projections and Products
................................ 105
8.3
Subspaces
............................................. 107
8.4
Event Classifications
.................................... 108
8.5
State Spaces from Classifications
......................... 110
8.6
Back to Boole
..........................................
Ill
8.7
State-Space Systems
.................................... 114
9
Regular Theories
117
9.1
Theories
............................................... 117
9.2
Finite Cut and Global Cut
............................... 125
9.3
The Theory of a State Space
............................. 126
9.4
Theory Interpretations
.................................. 128
9.5
Representing Regular Theories
.......................... 129
10
Operations on Theories
132
10.1
Sums of Theories
....................................... 132
10.2
A Partial Order on Theories
............................. 133
10.3
Quotients of Theories
................................... 134
10.4
Moving Theories
....................................... 135
10.5
Families of Theories
.................................... 136
viii Contents
11
Boolean
Operations and Theories
138
11.1
Boolean Operations on Theories
......................... 138
11.2
Boolean Operations in Theories
.......................... 141
11.3
Boolean Inference in State Spaces
........................ 147
12
Local Logics
149
12.1
Local Logics Defined
................................... 149
12.2
Soundness and Completeness
............................ 152
12.3
Logic Infomorphisms
................................... 154
12.4
Operations on Logics
................................... 156
12.5
Boolean Operations and Logics
.......................... 162
13
Reasoning at a Distance
165
13.1
Moving Logics
......................................... 165
13.2
Images of Logics
....................................... 166
13.3
Inverse Images of Logics
................................ 167
13.4
More About Moving Logics
............................. 171
14
Representing Local Logics
174
14.1
Idealization
............................................ 174
14.2
Channel Infomorphisms
................................. 178
15
Distributed Logics
182
15.1
Information Systems
.................................... 182
15.2
File Copying: An Example
.............................. 184
15.3
The Distributed Logic of a Distributed System
............. 189
15.4
Distributing a Logic Along a Channel
.................... 190
15.5
The Distributed Logic of a State-Space System
............ 191
16
Logics and State Spaces
195
16.1
Subspaces of State Spaces
............................... 195
16.2
From Local Logics to State Spaces
....................... 198
Part III: Explorations
201
17
Speech Acts
203
17.1
Truth-Conditional Semantics and Speech Acts
............. 203
17.2
Austin s Model
......................................... 204
17.3
Austin s Four Speech Acts
.............................. 205
Contents ix
18
Vagueness
211
18.1
Height Classifications
................................... 212
18.2
Information Flow
....................................... 215
18.3
Ал
Intencional
Logic
................................... 216
18.4
The Sorites Paradox
.................................... 217
19
Commonsense Reasoning
221
19.1
The Dimension of a State Space
.......................... 223
19.2
Nonmonotonicity
....................................... 225
19.3
The Frame Problem
..................................... 233
19.4
Conclusions
........................................... 233
20
Representation
235
20.1
Modeling Representational Systems
...................... 235
20.2
Imperfect Representations
............................... 237
20.3
Shimojima s Thesis
..................................... 238
21
Quantum Logic
243
21.1
The Theory of a Manual
................................. 244
21.2
A Comparison with Quantum Logic
...................... 248
Answers to Selected Exercises
256
Bibliography
268
Glossary of Notation
270
Index of Definitions
272
Index of Names
274
|
| any_adam_object | 1 |
| author | Barwise, Jon 1942-2000 Seligman, Jerry |
| author_GND | (DE-588)124163092 |
| author_facet | Barwise, Jon 1942-2000 Seligman, Jerry |
| author_role | aut aut |
| author_sort | Barwise, Jon 1942-2000 |
| author_variant | j b jb j s js |
| building | Verbundindex |
| bvnumber | BV035056154 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 200 |
| ctrlnum | (OCoLC)845369794 (DE-599)GBV570540445 |
| dewey-full | 004.36 003.54 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 003 - Systems |
| dewey-raw | 004.36 003.54 |
| dewey-search | 004.36 003.54 |
| dewey-sort | 14.36 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | [Nachdr.] |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02640nam a2200625 cb4500</leader><controlfield tag="001">BV035056154</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081110 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">080917s2008 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521070996</subfield><subfield code="c">pbk. : £27.99</subfield><subfield code="9">0-521-07099-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521070997</subfield><subfield code="c">pbk. : £27.99</subfield><subfield code="9">978-0-521-07099-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521583862</subfield><subfield code="c">hc.</subfield><subfield code="9">978-0-521-58386-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845369794</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV570540445</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.54</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Pxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information flow</subfield><subfield code="b">the logic of distributed systems</subfield><subfield code="c">Jon Barwise ; Jerry Seligman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Nachdr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 274 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">44</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Originally published: 1997</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Traitement réparti</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seligman, Jerry</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">44</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">44</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016724744&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016724744</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143389-0 Aufgabensammlung gnd-content |
| genre_facet | Aufgabensammlung |
| id | DE-604.BV035056154 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T13:19:04Z |
| institution | BVB |
| isbn | 0521070996 9780521070997 9780521583862 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016724744 |
| oclc_num | 845369794 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-83 |
| physical | XV, 274 S. graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spellingShingle | Barwise, Jon 1942-2000 Seligman, Jerry Information flow the logic of distributed systems Cambridge tracts in theoretical computer science Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Informationstheorie (DE-588)4026927-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4026927-9 (DE-588)4125229-9 (DE-588)4037951-6 (DE-588)4238872-7 (DE-588)4143389-0 |
| title | Information flow the logic of distributed systems |
| title_auth | Information flow the logic of distributed systems |
| title_exact_search | Information flow the logic of distributed systems |
| title_full | Information flow the logic of distributed systems Jon Barwise ; Jerry Seligman |
| title_fullStr | Information flow the logic of distributed systems Jon Barwise ; Jerry Seligman |
| title_full_unstemmed | Information flow the logic of distributed systems Jon Barwise ; Jerry Seligman |
| title_short | Information flow |
| title_sort | information flow the logic of distributed systems |
| title_sub | the logic of distributed systems |
| topic | Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Informationstheorie (DE-588)4026927-9 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Traitement réparti Datenverarbeitung Electronic data processing Distributed processing Informationstheorie Datenverarbeitungssystem Mathematische Logik Verteiltes System Aufgabensammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016724744&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT barwisejon informationflowthelogicofdistributedsystems AT seligmanjerry informationflowthelogicofdistributedsystems |