Ulteriori informazioni
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
Sommario
"Automaten - Nichtendliche Automaten - Zusammenhang von Automaten und formalen Sprachen - Formale Sprachen - Formale Grammatiken und Chomsky-Hierarchie - Informations- und Kodierungstheorie - Graphentheorie - Algorithmen und Datenstrukturen - Algorithmen"
Info autore
Der Autor
ist Professor für Software-Engineering und Programmiersprachen an die Fakultät für Wirtschaftsinformatik an die Hochschule Furtwangen.
Er verfügt über eine umfassende Praxiserfahrung als Berater, Account-Manager und Geschäftsführer eines Informatik-Hauses.
