- Theoretische Informatik (2,5 ECTS) (Prüfungsnummer: 38140)
(englische Bezeichnung: Theoretical Computer Science (2,5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 2.5 Leistungspunkte
- Theoretische Informatik (5 ECTS) (Prüfungsnummer: 38141)
(englische Bezeichnung: Examination or 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: 38142)
(englische Bezeichnung: Examination or 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: 38143)
(englische Bezeichnung: Examination or 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 (15 ECTS) (Prüfungsnummer: 38144)
(englische Bezeichnung: Theoretical Computer Science (15 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 15.0 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
- Foundations of cryptocurrencies (Prüfungsnummer: 639676)
(englische Bezeichnung: Foundations of cryptocurrencies)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 5.0 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