A script of the "Theoretische Grundlagen der Informatik" course at the CAU Kiel