Karteikarten für Informatik mit FSRS organisieren

Ordne Kernfächer und typische Prüfungsinhalte im Studium der Fachrichtung Informatik als Karteikarten. FSRS-6 plant Wiederholungen anhand deiner Bewertungen; native Werkzeuge ergänzen Formeln und Strukturen.

Modulnamen und Prüfungsformen unterscheiden sich je Hochschule. Gemeinsam ist den deutschen Informatik-Bachelorstudiengängen die Verbindung von Programmierung, Diskreter Mathematik und Theoretischer Informatik im Grundstudium, und dass die Theorie in Beweisform geprüft wird.

Die Beweisklausur in Theoretischer Informatik

Theoretische Informatik ist für viele der Bruch im Studium, weil sie eine andere Leistung verlangt als Programmieren. Was dort bewertet wird, lässt sich benennen.

Definitionen wörtlich: Regulär, kontextfrei, entscheidbar, semi-entscheidbar. Ein fehlendes Wort in der Definition ändert die Aussage, und die Korrektur prüft genau darauf.
Konstruktionen: Automat zu Grammatik, nichtdeterministisch zu deterministisch, Minimierung. Sie folgen einem festen Verfahren und sind deshalb sicher übbar.
Nichtzugehörigkeit zeigen: Das Pumping-Lemma beweist, dass eine Sprache NICHT regulär ist, und nie das Gegenteil. Diese Richtung ist die häufigste Verwechslung im ganzen Modul.
Reduktion: Ein bekanntes unentscheidbares Problem auf das neue abbilden. Gefragt ist die Richtung der Reduktion, und sie ist genau andersherum, als die Intuition sagt.

Vier Beweisformen, die im Grundstudium wiederkehren

Diskrete Mathematik, Algorithmen und Theorie greifen auf dieselben vier Formen zurück. Wer sie als Muster kennt, findet den Ansatz schneller als über den Inhalt.

Form	Wann sie greift
Vollständige Induktion	Aussagen über alle natürlichen Zahlen, Laufzeiten rekursiver Verfahren, Eigenschaften von Bäumen. Der Induktionsschritt braucht die Voraussetzung wörtlich, sonst ist er kein Schritt.
Widerspruchsbeweis	Unmöglichkeitsaussagen, etwa dass ein Verfahren nicht terminiert oder eine Sprache nicht regulär ist.
Schubfachprinzip	Kombinatorische Aussagen über Kollisionen, etwa bei Hashverfahren oder bei Zuständen eines Automaten.
Invariantenbeweis	Korrektheit von Schleifen und Algorithmen. Die Invariante gilt vor, während und nach der Schleife, und genau diese drei Nachweise werden bepunktet.

Vom Übungsblatt zur Klausur

An vielen Hochschulen sind Übungspunkte Zulassungsvoraussetzung zur Klausur. Das Blatt ist damit Pflicht, aber es ist nicht dasselbe wie eine Prüfung.

Blatt ohne Hilfen versuchenErst nach dem eigenen Versuch in die Gruppe. Wer die Lösung vorher liest, erzeugt Wiedererkennen und verwechselt es mit Können.
Musterlösung gegenlesenNicht auf das Ergebnis schauen, sondern auf den Ansatz. Der Unterschied zwischen deinem und dem gezeigten Ansatz ist der eigentliche Lerninhalt.
Ansatz als Karteikarte sichernVorn die Aufgabenart in einem Satz, hinten der Ansatz in drei Zeilen. So wird aus einem gelösten Blatt abrufbares Wissen statt einer abgehefteten Seite.
Unter Zeitdruck wiederholenDie Klausur gibt weniger Zeit als das Blatt. Eine Wiederholung mit Uhr zeigt, welche Ansätze noch gesucht statt abgerufen werden.

Programmieraufgaben unter Klausurbedingungen

In der Klausur fehlen Autovervollständigung, Compiler und Testlauf. Damit verschiebt sich, was schwierig ist: nicht die Logik, sondern die Syntax und die Randfälle. Wer im Semester nur in der Entwicklungsumgebung arbeitet, merkt das erst am Prüfungstag.

Die Gegenmaßnahme ist kein zusätzlicher Stoff, sondern eine andere Übungsform: eine Methode auf Papier schreiben, dann abtippen und erst danach testen. Jeder Fehler, den der Compiler findet, ist ein Kandidat für eine Karteikarte, denn er wird sich wiederholen.

Karteikarten für Syntax sind unbeliebt und wirken trotzdem: Konstruktorsyntax, Schnittstellen, Ausnahmebehandlung, Iteratoren. Sie sind kurz, eindeutig bewertbar und genau die Stellen, an denen in der Klausur Zeit verloren geht.

Definitionen sichern, Beweisideen üben

Das Informatikstudium teilt sich in einen abrufbaren und einen erzeugenden Teil. Beide brauchen unterschiedliche Werkzeuge.

Abrufbar, gehört auf Karteikarten

Definitionen der Sprachklassen und Komplexitätsklassen
Laufzeiten der Standardverfahren, je mittlerer und schlechtester Fall
Normalformen und ihre Bedingung
Syntaxbausteine der Prüfungssprache
Sätze der Diskreten Mathematik mit Voraussetzung

Erzeugend, gehört an Aufgaben

Einen Beweis führen, nicht wiedergeben
Einen Algorithmus entwerfen und seine Korrektheit begründen
Eine Reduktion konstruieren
Ein Schema modellieren und normalisieren

Häufige Fragen zum Informatikstudium

Wie lerne ich Theoretische Informatik effizient?

Sichere zuerst die Definitionen wörtlich als Karteikarten, etwa reguläre Sprachen, Komplexitätsklassen und die Aussage des Pumping-Lemmas. Bloom-gesteuerte KI-Karteikarten erzeugen darauf aufbauend Anwendungs- und Analysefragen, sodass du nicht nur reproduzierst. Die Beweisführung selbst übt sich nur an Aufgaben.

Kann ich O-Notation und Beweise als Karteikarten darstellen?

Ja, über den nativen LaTeX-Support mit KaTeX. Mathematische Notation, Summen und Quantoren werden korrekt gerendert.

Wofür beweist das Pumping-Lemma etwas?

Es zeigt immer nur, dass eine Sprache NICHT regulär beziehungsweise nicht kontextfrei ist. Die Umkehrung gilt nicht: eine Sprache, die die Pumping-Eigenschaft erfüllt, muss deshalb nicht regulär sein. Diese Richtung ist die häufigste Verwechslung im Modul und lohnt eine eigene Karteikarte.