Gottfried Vossen, Kurt-Ulrich Witt Grundlagen der Theoretischen Informatik mit Anwendungen

Annotation

Dieses Buch gibt eine anwendungsorientierte Einfuhrung in Grundlagen derTheoretischen Informatik, und es vermittelt Kompetenzen zur Lsung vonProblemen mit Hilfe formaler Konzepte. Es stellt grundlegende Konzepte, Methoden und Techniken der Informatik dar, mit denen praktische Problemstellungen beschrieben und gelst werden knnen und auf deren Basis kommerziell verfgbare Informations- und Kommunikationssyteme entwickelt worden sind. So wird z. B. das Konzept des ''endlichen Automaten'' bei der Realisierung von Workflowmanagementsystemen, der Gestaltung von Mensch-Maschine-Schnittstellen, der Implementierung von Netzwerkprotokollen, der Datenkompression, beim Schaltkreisentwurf, bei der Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche verwendet. Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und ausprobiert.