Grundlagen der Theoretischen Informatik mit Anwendungen

Dieses Buch gibt eine anwendungsorientierte Einführung in Grundlagen der Theoretischen Informatik, und es vermittelt Kompetenzen zur Lösung von Problemen mit Hilfe formaler Konzepte. Es betrachtet theoretische Konzepte nicht ''um der Theorie willen'', sondern es stellt grundlegende Konzepte, Methoden und Techniken der Informatik dar, mit denen praktische Problemstellungen beschrieben und gelöst werden können und auf deren Basis kommerziell verfügbare Informations- und Kommunikationssyteme entwic