Formale Beschreibungsverfahren der Informatik

Ein Arbeitsbuch für die Praxis

AvHelmut Eirund,Bernd Müller

Häftad, Tyska, 2000

Del i serien Informatik & Praxis

297 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2000-10-11
Mått:162 x 229 x 8 mm
Vikt:211 g
Format:Häftad
Språk:Tyska
Serie:Informatik & Praxis
Antal sidor:124
Upplaga:2000
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519026433

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Affärsförhandlingar inom Ekonomi och Ledarskap

Mer om författaren

Professor Dr. Helmut Eirund, Hochschule BremenProfessor Dr. Bernd Müller, Hochschule Harz, WernigerodeDr. Gerlinde Schreiber, Universität Hildesheim

Innehållsförteckning

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.