Ideen der Informatik:Grundlegende Modelle und Konzepte der Theoretischen Informatik