Vertiefungsrichtung Theoretische Informatik (Prüfungsordnungsmodul)0.0 ECTS (englische Bezeichnung: Focus Module: Theoretical Computer Science)
Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine
Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen,
so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend
für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die
konkreten Modulbeschreibungen mit Angaben zu den
Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten
UnivIS-Modulen zu finden.
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik)
Studien-/Prüfungsleistungen:
- 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
UnivIS-Module:UnivIS-Module im aktuellen Semester (SS 2018):- Approximationsalgorithmen (7.5 ECTS, Wanka, R.)
- Foundations of Cryptocurrencies (5 ECTS, Schröder, D.)
- Modallogik (7.5 ECTS, Hausmann, D.)
- Ontologien im Semantic Web (7.5 ECTS, Schröder, L.)
- Organic Computing (5 ECTS, Wanka, R.)
- Praktische Semantik von Programmiersprachen (7.5 ECTS, Litak, T.)
- Randomisierte Algorithmen (7.5 ECTS, Wanka, R.)
UnivIS-Module im kommenden Semester (WS 2018/2019):- Algebra des Programmierens (7.5 ECTS, Schröder, L.)
- Algebraische und Logische Aspekte der Automatentheorie (7.5 ECTS, Urbat, H.)
- Effiziente kombinatorische Algorithmen (7.5 ECTS, Wanka, R.)
- Einführung in die algorithmische Kryptographie (7.5 ECTS, Schröder, D.)
- Formale Methoden der Softwareentwicklung (7.5 ECTS, Litak, T.)
- Kommunikation und parallele Prozesse (7.5 ECTS, Schröder, L.)
UnivIS-Module im vergangenen Semester (WS 2017/2018):- Effiziente kombinatorische Algorithmen (7.5 ECTS, Wanka, R.)
- Einführung in die algorithmische Kryptographie (7.5 ECTS, Schröder, D.)
- Formale Methoden der Softwareentwicklung (7.5 ECTS, Litak, T.)
- Kategorien in der Programmierung (7.5 ECTS, Milius, S.)
- Public-Key Kryptographie (5 ECTS, Döttling, N.)
- Wavelet-Transformationen in der Bildverarbeitung - V+UE (7.5 ECTS, Strehl, V.)
- Wavelet-Transformationen in der Bildverarbeitung - V+UE+TE (10 ECTS, Strehl, V.)
|