Formale Beschreibungsverfahren der Informatik

Ein Arbeitsbuch für die Praxis

Häftad, Tyska, 2000

Av Helmut Eirund, Bernd Müller, Gerlinde Schreiber

389 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise 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-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.

Produktinformation

Utgivningsdatum2000-10-11
Mått162 x 229 x 8 mm
Vikt211 g
FormatHäftad
SpråkTyska
SerieInformatik & Praxis
Antal sidor124
Upplaga2000
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519026433

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Affärsapplikationer inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap

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.