Grundlagen der Theoretischen Informatik mit Anwendungen: Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen Informatik

Description

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 richtet sich an Studierende der Informatik aller Hochschularten, und es ist wegen seiner inhaltlichen und didaktischen Gestaltung insbesondere geeignet f?r Studierende in anwendungsorientierten Informatikstudieng?ngen. Denn dieses Buch 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 entwickelt worden sind, auch wenn dies zumeist nicht unmittelbar sichtbar wird. So ist z. B. das Konzept des ''endlichen Automaten'' nicht nur Bestandteil von fast allen Software-Engineering-Werkzeugen, sondern es wird unter anderem auch verwendet bei der Realisierung von Workflowmanagementsystemen, bei der Gestaltung von Mensch-Maschine-Schnittstellen, bei der Implementierung von Netzwerkprotokollen, bei der Datenkompression, beim Schaltkreisentwurf, bei der Realisierung von Funktionen in Textverarbeitungssystemen und zur Internetsuche. Das Studium des Buches tr?gt dazu bei, dass Informatikerinnen und Informatiker die Grundlagen der Theoretischen Informatik kennenlennern und anwenden k?nnen, um effektiv und produktiv an Probleml?sungen mit Hilfe von Informations- und Kommunikationstechnologien mitarbeiten zu k?nnen. Der Einsatz formaler Konzepte wird anhand von vielen Beispielen motiviert und ausprobiert, die Konzepte werden systematisch und schrittweise vom Einfachen zum Komplexen vorgestellt und ausf?hrlich erl?utert. Der Text f?r die 2. Auflage wurde ?berarbeitet und aktualisiert.