Dein Lernbereich wird geladen
App wird gestartet …
Dein Lernbereich wird geladen
App wird gestartet …
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.
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.
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. |
An vielen Hochschulen sind Übungspunkte Zulassungsvoraussetzung zur Klausur. Das Blatt ist damit Pflicht, aber es ist nicht dasselbe wie eine Prüfung.
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.
Das Informatikstudium teilt sich in einen abrufbaren und einen erzeugenden Teil. Beide brauchen unterschiedliche Werkzeuge.
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.
Ja, über den nativen LaTeX-Support mit KaTeX. Mathematische Notation, Summen und Quantoren werden korrekt gerendert.
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.
Welche Studiengänge hier liegen und was sie unterscheidet, steht einmal auf Studiengang. Diese Seite bleibt bei Informatik.
Karteikarten mit nativem LaTeX, Bloom-gesteuerte Anwendungsfragen, Wiederholung nach FSRS-6. Kostenlos starten.
Quanta Study Redaktion · September 2026