In diesem Videokurs schauen wir uns an, was die Grundlagen der Theoretischen Informatik sind. Hier lernen wir, was Aussagenlogik, Mengenlehre, Relationen und Funktion, Prädikaten Logik und Formale Sprachen bedeuten. Dafür schauen wir uns sowohl zu jedem Thema die Theorie an und wiederholen das gelernte am Whiteboard in praktischen Beispielen. Ziel des Videokurses ist es, die Grundlagen der theoretischen Informatik sowohl theoretisch zu verstehen, als auch diese bei praktischen Beispielen anwenden zu können.