Semantik: Theorie sequentieller und paralleler Programmierung (Lehrbuch Informatik) (German Edition)
6 Angebote vergleichen

Lieferung aus: Deutschland, Lagernd.
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. Soft cover.

Lieferung aus: Deutschland, Sofort lieferbar.
Theorie sequentieller und paralleler Programmierung, 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.

Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 370 pages. Dimensions: 9.5in. x 6.7in. x 0.9in.Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich fr die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen. Der Datenflu einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollflu einer variablenfreien Sprache werden zunchst getrennt beschrieben und dann zu einer einheitlichen Semantik fr parallele Programme zusammengefgt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Anstzen. Das Buch ist vollstndig mit leicht verstndlichen Beweisen und praktische relevanten Beispielen versehen und enthlt neben greren Fallstudien auch bungsaufgaben mit Musterlsungen sowie eine breite Literaturauswahl. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.

Von Händler/Antiquariat, THE SAINT BOOKSTORE [51194787], Southport, United Kingdom.
BRAND NEW PRINT ON DEMAND., Semantik (Softcover reprint of the original 1st ed. 1995), Eike Best, Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich fur die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluss einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluss einer variablenfreien Sprache werden zunachst getrennt beschrieben und dann zu einer einheitlichen Semantik fur parallele Programme zusammengefugt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansatzen. Das Buch ist vollstandig mit leicht verstandlichen Beweisen und praktische relevanten Beispielen versehen und enthalt neben grosseren Fallstudien auch Ubungsaufgaben mit Musterlosungen sowie eine breite Literaturauswahl.

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, sumpfnagel.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen