Explorative Datenanalyse der Studierendenperformance in der Theoretischen Informatik.

In diesem Artikel werden die Ergebnisse einer explorativen Datenanalyse uber die Studierendenperformance in Klausur- und Hausaufgaben eines Einfuhrungskurses der Theoretischen Informatik vorgestellt. Da bisher empirisch wenig untersucht ist, welche Probleme Studierenden in den Einfuhrungskursen haben und die Durchfallquoten in diesen Kursen sehr hoch sind, soll auf diesem Weg ein Uberblick gegeben werden. Die Ergebnisse zeigen, dass alle Studierenden unabhangig von ihrer Klausurnote die niedrigste Performance in den Klausur- und Hausaufgaben aufweisen, in denen formale Beweise gefordert sind. Dieses Ergebnis starkt die Vermutung, dass didaktische Ansatze und Masnahmen sich insbesondere auf das Erlernen formaler Beweismethoden fokussieren sollten, um Informatik-Studierende nachhaltiger dabei zu unterstutzen, in Theoretischer Informatik erfolgreich zu sein.