Das Modul "Grundlagen der Informatik 1" behandelt die wesentlichen Inhalte der Theoretischen Informatik. Der Kurs untersucht dabei die Fragen "Was ist eine Berechnung?" und "Was ist ein Algorithmus?" und führt in die Theorie formaler Sprachen und Automaten ein .