Formale Beschreibungsverfahren der Informatik

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

27,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.

Über den Autor

Professor Dr. Helmut Eirund, Hochschule Bremen

Professor Dr. Bernd Müller, Hochschule Harz, Wernigerode

Dr. Gerlinde Schreiber, Universität Hildesheim

Zusammenfassung

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.

Inhaltsverzeichnis

1 Einleitung.- 2 Grundlagen aus Mathematik und Logik.- 2.1 Schreibweisen der Logik.- 2.2 Prädikatenlogik.- 2.3 Relationen.- 3 Formale Sprachen.- 3.1 Syntax und Semantik: Populäre Beispiele.- 3.2 Grammatik.- 3.3 Syntax-Notationen für Produktionen.- 4 Automaten und Verfahren.- 4.1 Endliche Automaten.- 4.2 Einfache Varianten endlicher Automaten.- 4.3 Endliche Automaten und formale Sprachen.- 4.4 Kellerautomaten.- 4.5 Turing-Maschinen.- 5 Beschreibung nebenläufiger Prozesse.- 5.1 Begriffliche Grundlagen von Bedingungs-/Ereignisnetzen.- 5.2 Weitere Petri-Netz-Klassen.- 5.3 Simulation und Analyse von Petri-Netzen.- 5.4 Beschreibungsmodelle für einfache Abhängigkeitsnetze.- 6 Der Algorithmus.- 6.1 Eine informelle Einführung.- 6.2 Definition und Eigenschaften von Algorithmen.- 6.3 Beschreibung von Algorithmen.- 6.4 Algorithmen und Turing-Maschinen.- 6.5 Komplexität von Algorithmen.- 7 Lösungen.

Details

Erscheinungsjahr:	2000
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Informatik & Praxis
Inhalt:	124 S.
ISBN-13:	9783519026433
ISBN-10:	3519026430
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Eirund, Helmut Schreiber, Gerlinde Müller, Bernd
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag Informatik & Praxis
Maße:	229 x 162 x 8 mm
Von/Mit:	Helmut Eirund (u. a.)
Erscheinungsdatum:	11.10.2000
Gewicht:	0,211 kg

Artikel-ID: 106326837

Über den Autor

Professor Dr. Helmut Eirund, Hochschule Bremen

Professor Dr. Bernd Müller, Hochschule Harz, Wernigerode

Dr. Gerlinde Schreiber, Universität Hildesheim

Zusammenfassung

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2000
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Informatik & Praxis
Inhalt:	124 S.
ISBN-13:	9783519026433
ISBN-10:	3519026430
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Eirund, Helmut Schreiber, Gerlinde Müller, Bernd
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag Informatik & Praxis
Maße:	229 x 162 x 8 mm
Von/Mit:	Helmut Eirund (u. a.)
Erscheinungsdatum:	11.10.2000
Gewicht:	0,211 kg