SoSe 2025
Fehlend (Krankschreibung): 2Fehlend (ohne Grund): 3Gemeldet am 31.08.2026
FB20 Informatik · Angeboten in SoSe 2026, SoSe 2025
Mittel der Semesterschnitte
2.12
Jedes Semester zählt gleich, unabhängig von seiner Größe.
Gewichteter Gesamtschnitt
2.22
Nach Kohortengröße gewichtet — der Schnitt über alle Ergebnisse hinweg.
Bestehensquote
95%
Anteil der Ergebnisse von 4,0 oder besser. 4,0 ist die letzte bestandene Note.
Semester mit Daten
2
Die deutsche Skala reicht von 1,0 (beste) bis 4,0 (letzte bestandene Note), 5,0 ist nicht bestanden. Eine 4,3 gibt es nicht.
Fehlend (Krankschreibung): 2Fehlend (ohne Grund): 3Gemeldet am 31.08.2026
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
- Theoretische Grundlagen der im automatischen Beweisen verwendeten Kalküle für Logik erster Stufe - Korrektheits- und Vollständigkeitsbeweise - Algorithmen und Datenstrukturen, die in automatischen Beweisern für Logik erster Stufe eingesetzt werden - Vergleich verschiedener Ansätze im automatischen Beweisen - Grundlagen moderner SAT- und SMT-Lösungswerkzeuge
Fehlend (Krankschreibung): 5Fehlend (ohne Grund): 3Gemeldet am 31.08.2026
Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden