- 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 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 Leistungspunkte
- Approximationsalgorithmen (Vorlesung mit Übung) (Prüfungsnummer: 247639)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Categories in Programming (Prüfungsnummer: 945618)
(englische Bezeichnung: Categories in Programming)
- Prüfungsleistung, mehrteilige Prüfung, Dauer: 90 min, Zehntelnoten, 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
- Formale Methoden der Softwareentwicklung (Prüfungsnummer: 151316)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Kommunikation und Parallele Prozesse (Prüfungsnummer: 173107)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte
- Kryptologie und Protokollverifikation (Vorlesung mit Übung) (Prüfungsnummer: 931722)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Monad-Based Programming (Prüfungsnummer: 845618)
(englische Bezeichnung: Monad-Based Programming)
- Prüfungsleistung, mündliche Prüfung, Dauer: 20 min, Drittelnoten (mit 4,3), 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
- Ontologien im Semantic Web (Prüfungsnummer: 806144)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte
- Organic Computing (Prüfungsnummer: 39701)
(englische Bezeichnung: Organic Computing)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 5 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 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