Grundlagen der Theoretischen Informatik mit Anwendungen / Lehrbuch Informatik (PDF)

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.