Semantik: Theorie sequentieller und paralleler Programmierung
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1995
|
| Schriftenreihe: | Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die beiden Satze unterschiedliche Syntax, aber gleiche Semantik haben. Unter der Syntax eines Satzes versteht man seinen auBeren Aufbau, zum Beispiel als Folge Subjekt Pradikat-Objekt. Vom rein satzbautechnischen Standpunkt aus besteht etwa zwischen den beiden Satzen: Die formale Semantik ist ein Thema der Informatik. Das neue Buch begleitet eine Vorlesung des Studiengangs. 1 kein wesentlicher Unterschied. Der Inhalt, die Bedeutung oder eben die Semantik eines Satzes umfaBt die Bedeutung der Worter, aus denen er besteht. Sie ist jedoch mehr als nur deren Summe. In der Tat gehen zeitliche (z.B.: formal bedeutet heutzutage etwas anderes als vor 1000 Jahren), kontextuelle (z.B.: die Phrase Das neue Buch ist nur aus dem textuellen Zusammenhang heraus zu verstehen) und andere Aspekte, eventuell auch subjektive, in die Semantik eines Satzes ein. Die 'untersuchbare' Bedeutung ist daher stets eine Abstraktion vieler verschiedener Facetten ihrer Gesamtheit. Bei sehr genauer Untersuchung zeigen sich sogar zwischen den beiden Satzen zu Beginn dieser Uberlegungen unterschiedliche semantische Nuancen. Der erste legt starker als der zweite die Idee nahe, daB es eine wohldefinierte Menge von wichtigen Themen der Informatik gibt. Nur wenn Von diesem Unterschied abstrahiert wird, sind die Bedeutungen der beiden Satze gleich |
| Beschreibung: | 1 Online-Ressource (XIV, 370S.) |
| ISBN: | 9783322868237 9783322868244 |
| DOI: | 10.1007/978-3-322-86823-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042429721 | ||
| 003 | DE-604 | ||
| 005 | 20210615 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1995 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322868237 |c Online |9 978-3-322-86823-7 | ||
| 020 | |a 9783322868244 |c Print |9 978-3-322-86824-4 | ||
| 024 | 7 | |a 10.1007/978-3-322-86823-7 |2 doi | |
| 035 | |a (OCoLC)863942808 | ||
| 035 | |a (DE-599)BVBBV042429721 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 557f |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Best, Eike |d 1951- |e Verfasser |0 (DE-588)1021355593 |4 aut | |
| 245 | 1 | 0 | |a Semantik |b Theorie sequentieller und paralleler Programmierung |c von Eike Best |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1995 | |
| 300 | |a 1 Online-Ressource (XIV, 370S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lehrbuch | |
| 500 | |a Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die beiden Satze unterschiedliche Syntax, aber gleiche Semantik haben. Unter der Syntax eines Satzes versteht man seinen auBeren Aufbau, zum Beispiel als Folge Subjekt Pradikat-Objekt. Vom rein satzbautechnischen Standpunkt aus besteht etwa zwischen den beiden Satzen: Die formale Semantik ist ein Thema der Informatik. Das neue Buch begleitet eine Vorlesung des Studiengangs. 1 kein wesentlicher Unterschied. Der Inhalt, die Bedeutung oder eben die Semantik eines Satzes umfaBt die Bedeutung der Worter, aus denen er besteht. Sie ist jedoch mehr als nur deren Summe. In der Tat gehen zeitliche (z.B.: formal bedeutet heutzutage etwas anderes als vor 1000 Jahren), kontextuelle (z.B.: die Phrase Das neue Buch ist nur aus dem textuellen Zusammenhang heraus zu verstehen) und andere Aspekte, eventuell auch subjektive, in die Semantik eines Satzes ein. Die 'untersuchbare' Bedeutung ist daher stets eine Abstraktion vieler verschiedener Facetten ihrer Gesamtheit. Bei sehr genauer Untersuchung zeigen sich sogar zwischen den beiden Satzen zu Beginn dieser Uberlegungen unterschiedliche semantische Nuancen. Der erste legt starker als der zweite die Idee nahe, daB es eine wohldefinierte Menge von wichtigen Themen der Informatik gibt. Nur wenn Von diesem Unterschied abstrahiert wird, sind die Bedeutungen der beiden Satze gleich | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Datenfluss |0 (DE-588)4191571-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontrollfluss |0 (DE-588)4131769-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Datenfluss |0 (DE-588)4191571-9 |D s |
| 689 | 1 | 2 | |a Kontrollfluss |0 (DE-588)4131769-5 |D s |
| 689 | 1 | 3 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 2 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | 2 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-86823-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027865052 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153110839427072 |
|---|---|
| any_adam_object | |
| author | Best, Eike 1951- |
| author_GND | (DE-588)1021355593 |
| author_facet | Best, Eike 1951- |
| author_role | aut |
| author_sort | Best, Eike 1951- |
| author_variant | e b eb |
| building | Verbundindex |
| bvnumber | BV042429721 |
| classification_rvk | ST 140 |
| classification_tum | DAT 516f DAT 000 DAT 557f TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863942808 (DE-599)BVBBV042429721 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-86823-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04315nmm a2200721zc 4500</leader><controlfield tag="001">BV042429721</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210615 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1995 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322868237</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-86823-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322868244</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-322-86824-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-86823-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863942808</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042429721</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Best, Eike</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1021355593</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantik</subfield><subfield code="b">Theorie sequentieller und paralleler Programmierung</subfield><subfield code="c">von Eike Best</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 370S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lehrbuch</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die beiden Satze unterschiedliche Syntax, aber gleiche Semantik haben. Unter der Syntax eines Satzes versteht man seinen auBeren Aufbau, zum Beispiel als Folge Subjekt Pradikat-Objekt. Vom rein satzbautechnischen Standpunkt aus besteht etwa zwischen den beiden Satzen: Die formale Semantik ist ein Thema der Informatik. Das neue Buch begleitet eine Vorlesung des Studiengangs. 1 kein wesentlicher Unterschied. Der Inhalt, die Bedeutung oder eben die Semantik eines Satzes umfaBt die Bedeutung der Worter, aus denen er besteht. Sie ist jedoch mehr als nur deren Summe. In der Tat gehen zeitliche (z.B.: formal bedeutet heutzutage etwas anderes als vor 1000 Jahren), kontextuelle (z.B.: die Phrase Das neue Buch ist nur aus dem textuellen Zusammenhang heraus zu verstehen) und andere Aspekte, eventuell auch subjektive, in die Semantik eines Satzes ein. Die 'untersuchbare' Bedeutung ist daher stets eine Abstraktion vieler verschiedener Facetten ihrer Gesamtheit. Bei sehr genauer Untersuchung zeigen sich sogar zwischen den beiden Satzen zu Beginn dieser Uberlegungen unterschiedliche semantische Nuancen. Der erste legt starker als der zweite die Idee nahe, daB es eine wohldefinierte Menge von wichtigen Themen der Informatik gibt. Nur wenn Von diesem Unterschied abstrahiert wird, sind die Bedeutungen der beiden Satze gleich</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-86823-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027865052</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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042429721 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:24Z |
| institution | BVB |
| isbn | 9783322868237 9783322868244 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027865052 |
| oclc_num | 863942808 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XIV, 370S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Lehrbuch |
| spelling | Best, Eike 1951- Verfasser (DE-588)1021355593 aut Semantik Theorie sequentieller und paralleler Programmierung von Eike Best Wiesbaden Vieweg+Teubner Verlag 1995 1 Online-Ressource (XIV, 370S.) txt rdacontent c rdamedia cr rdacarrier Lehrbuch Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die beiden Satze unterschiedliche Syntax, aber gleiche Semantik haben. Unter der Syntax eines Satzes versteht man seinen auBeren Aufbau, zum Beispiel als Folge Subjekt Pradikat-Objekt. Vom rein satzbautechnischen Standpunkt aus besteht etwa zwischen den beiden Satzen: Die formale Semantik ist ein Thema der Informatik. Das neue Buch begleitet eine Vorlesung des Studiengangs. 1 kein wesentlicher Unterschied. Der Inhalt, die Bedeutung oder eben die Semantik eines Satzes umfaBt die Bedeutung der Worter, aus denen er besteht. Sie ist jedoch mehr als nur deren Summe. In der Tat gehen zeitliche (z.B.: formal bedeutet heutzutage etwas anderes als vor 1000 Jahren), kontextuelle (z.B.: die Phrase Das neue Buch ist nur aus dem textuellen Zusammenhang heraus zu verstehen) und andere Aspekte, eventuell auch subjektive, in die Semantik eines Satzes ein. Die 'untersuchbare' Bedeutung ist daher stets eine Abstraktion vieler verschiedener Facetten ihrer Gesamtheit. Bei sehr genauer Untersuchung zeigen sich sogar zwischen den beiden Satzen zu Beginn dieser Uberlegungen unterschiedliche semantische Nuancen. Der erste legt starker als der zweite die Idee nahe, daB es eine wohldefinierte Menge von wichtigen Themen der Informatik gibt. Nur wenn Von diesem Unterschied abstrahiert wird, sind die Bedeutungen der beiden Satze gleich Engineering Engineering, general Ingenieurwissenschaften Datenfluss (DE-588)4191571-9 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Kontrollfluss (DE-588)4131769-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Parallelverarbeitung (DE-588)4075860-6 s Programmierung (DE-588)4076370-5 s Semantik (DE-588)4054490-4 s DE-604 Programmiersprache (DE-588)4047409-4 s Datenfluss (DE-588)4191571-9 s Kontrollfluss (DE-588)4131769-5 s Formale Semantik (DE-588)4122144-8 s https://doi.org/10.1007/978-3-322-86823-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Best, Eike 1951- Semantik Theorie sequentieller und paralleler Programmierung Engineering Engineering, general Ingenieurwissenschaften Datenfluss (DE-588)4191571-9 gnd Programmierung (DE-588)4076370-5 gnd Kontrollfluss (DE-588)4131769-5 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4191571-9 (DE-588)4076370-5 (DE-588)4131769-5 (DE-588)4047409-4 (DE-588)4054490-4 (DE-588)4075860-6 (DE-588)4122144-8 (DE-588)4113937-9 |
| title | Semantik Theorie sequentieller und paralleler Programmierung |
| title_auth | Semantik Theorie sequentieller und paralleler Programmierung |
| title_exact_search | Semantik Theorie sequentieller und paralleler Programmierung |
| title_full | Semantik Theorie sequentieller und paralleler Programmierung von Eike Best |
| title_fullStr | Semantik Theorie sequentieller und paralleler Programmierung von Eike Best |
| title_full_unstemmed | Semantik Theorie sequentieller und paralleler Programmierung von Eike Best |
| title_short | Semantik |
| title_sort | semantik theorie sequentieller und paralleler programmierung |
| title_sub | Theorie sequentieller und paralleler Programmierung |
| topic | Engineering Engineering, general Ingenieurwissenschaften Datenfluss (DE-588)4191571-9 gnd Programmierung (DE-588)4076370-5 gnd Kontrollfluss (DE-588)4131769-5 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Datenfluss Programmierung Kontrollfluss Programmiersprache Semantik Parallelverarbeitung Formale Semantik Hochschulschrift |
| url | https://doi.org/10.1007/978-3-322-86823-7 |
| work_keys_str_mv | AT besteike semantiktheoriesequentiellerundparallelerprogrammierung |