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.
Verständliche Einführung in die wichtigsten Teilgebiete der Informatik für Fachhochschul-Studenten in den Nebenfächern Kurzeinführung in die theoretische Informatik für Praktiker
Autorentext
Inhalt
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.
Verständliche Einführung in die wichtigsten Teilgebiete der Informatik für Fachhochschul-Studenten in den Nebenfächern Kurzeinführung in die theoretische Informatik für Praktiker
Autorentext
Professor Dr. Helmut Eirund, Hochschule Bremen
Professor Dr. Bernd Müller, Hochschule Harz, Wernigerode
Dr. Gerlinde Schreiber, Universität Hildesheim
Inhalt
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.
Titel
Formale Beschreibungsverfahren der Informatik
Untertitel
Ein Arbeitsbuch für die Praxis
EAN
9783322801036
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
07.03.2013
Digitaler Kopierschutz
Wasserzeichen
Anzahl Seiten
124
Lesemotiv
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.