Formale Methoden der Informatik

Die formalen Methoden sind das Fundament der IT-System- und Software-Architektur. Hier findet der zukünftige Informatikspezialist Werkzeuge und Lösungsansätze für seine Arbeit. Das Buch vermittelt dem Leser Fach- und Methoden-Kompetenz in folgenden Punkten: Erzeugung von formalen Sprachen durch Grammatiken und über das Erkennen von Sprachen mittels Automaten – Verständnis der Turingmaschine als minimales Automatenmodell von Computern – Verständnis der Begriffe »Information« und »Codierung« aus formaler Sicht – Einsatz von Graphen als anschauliche Darstellungen im Rahmen einer Analyse oder Problemlösung – Verständnis und Anwendung grundlegender Such- und Sortieralgorithmen – Auswahl geeigneter Datenstrukturen zu einer programmiersprachlichen Problemlösung. Inhalt: – Automaten – Nichtendliche Automaten – Zusammenhang von Automaten und formalen Sprachen – Formale Sprachen – Formale Grammatiken und Chomsky-Hierarchie – Informations- und Kodierungstheorie – Graphentheorie – Algorithmen und Datenstrukturen – Algorithmen