- Theoretische Informatik (5 ECTS) (Prüfungsnummer: 37141)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 5.0 Leistungspunkte
- Theoretische Informatik (7,5 ECTS) (Prüfungsnummer: 37142)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (7.5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte
- Theoretische Informatik (10 ECTS) (Prüfungsnummer: 37143)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (10 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 10.0 Leistungspunkte
- Theoretische Informatik (2,5 ECTS) (Prüfungsnummer: 37144)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (7.5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 2.5 Leistungspunkte
- Algebra des Programmierens (Vorlesung mit Übung) (Prüfungsnummer: 861501)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Approximationsalgorithmen (Vorlesung mit Übung) (Prüfungsnummer: 247639)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Effiziente kombinatorische Algorithmen (Vorlesung mit Übung) (Prüfungsnummer: 843472)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Einführung in die algorithmische Kryptographie (Prüfungsnummer: 997109)
(englische Bezeichnung: Introduction to Algorithmic Cryptography)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte
- Formale Methoden der Softwareentwicklung (Prüfungsnummer: 151316)
(englische Bezeichnung: Formal Methods of Software Development)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Kategorien in der Programmierung (Prüfungsnummer: 983890)
(englische Bezeichnung: Category Theory in Programming)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Modallogik (Prüfungsnummer: 984981)
(englische Bezeichnung: Modal Logic)
- Prüfungsleistung, mehrteilige Prüfung, Dauer: 20 min, Zehntelnoten, 7.5 Leistungspunkte
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen (Prüfungsnummer: 599478)
- Prüfungsleistung, mündliche Prüfung, Dauer: 20 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Public-Key Kryptographie (Prüfungsnummer: 889502)
(englische Bezeichnung: Public-Key Cryptography)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 5.0 Leistungspunkte
- Randomisierte Algorithmen (Vorlesung mit Übung) (Prüfungsnummer: 164985)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Wavelet-Transformationen in der Bildverarbeitung (Vorlesung mit praktischen und theoretischen Übungen) (Prüfungsnummer: 460859)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 10.0 Leistungspunkte
- Wavelet-Transformationen in der Bildverarbeitung (Vorlesung mit praktischen Übungen) (Prüfungsnummer: 842819)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte
- Wavelet-Transformationen in der Bildverarbeitung (Vorlesung mit theoretischen Übungen) (Prüfungsnummer: 150917)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte