Bewährt, anwendungsbezogen, aktuellMit einem Geleitwort von Prof. Dr. Rüdiger Robert
Diese Theorie-Einführung hat konsequent aktuelle Anwendungen im Blick. Seien es Suchmaschinen, Workflow-Managementsysteme, Web Services, Verschlüsselung von Informationen, Authentifizierungsprotokolle - all diese Technologien beruhen auf theoretischen Grundlagen der Informatik. So trägt das Buch dazu bei, dass Studierende die Grundlagen der Theoretischen Informatik nicht nur kennen lernen, sondern auch anwenden können, um effektiv und produktiv an informationstechnischen Problemlösungen mitwirken zu können. Wegen seiner speziellen inhaltlichen und didaktischen Qualität ist das Buch neben dem Einsatz in der Lehre auch für das Selbststudium geeignet.
Endliche Automaten und reguläre Sprachen - Kontextfreie Sprachen und Kellerautomaten - Turingmaschinen und Berechenbarkeit - Grenzen von Algorithmen - Komplexität, Effizienz und Effektivität - Vielfältige Anwendungen theoretischer Konzepte in der Praxis
Gottfried Vossen lehrt seit 1993 Informatik am Institut für Wirtschaftsinformatik der Universität Münster. Er studierte, promovierte und habilitierte sich an der RWTH Aachen und war bzw. ist Gastprofessor u.a. an der University of California in San Diego, USA, an der Karlstad Universitet in Schweden, an der University of Waikato in Hamilton, Neuseeland sowie am Hasso-Plattner-Institut für Softwaresystemtechnik in Potsdam. Er ist europäischer Herausgeber der bei Elsevier erscheinenden Fachzeitschrift Information Systems und seit Januar 2004 Vizepräsident der Gesellschaft für Informatik e.V. mit Sitz in Bonn.
Prof. Dr. Kurt-Ulrich Witt, Hochschule Bonn-Rhein-Sieg, Fachbereich Informatik, Direktor des Applied Science Institute am Bonn-Aachen International Center for Information Technology (b-it).