Die kompakte Einf hrung stellt Modelle f r zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch l sbar? (Theorie der Berechenbarkeit und Entscheidbarkeit). Wie schwierig ist es algorithmische Probleme zu l sen? (Theorie der Berechnungskomplexit t, NP-Theorie). Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten). Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen). Viele Beispiele und Aufgaben erleichtern das Verst ndnis und erm glichen die Aneignung des Stoffes auch im Selbststudium.