Ideen der Informatik: Grundlegende Modelle und Konzepte der Theoretischen Informatik