Vertiefungsmodul Theoretische Informatik (Prüfungsordnungsmodul) (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 | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsmodul Theoretische Informatik)
Studien-/Prüfungsleistungen:
- Theoretische Informatik (5 ECTS) (Prüfungsnummer: 38141)
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 5 Leistungspunkte
- Theoretische Informatik (7,5 ECTS) (Prüfungsnummer: 38142)
(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)
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 10 Leistungspunkte
- Theoretische Informatik (15 ECTS) (Prüfungsnummer: 38144)
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 15 Leistungspunkte
UnivIS-Module:UnivIS-Module im aktuellen Semester (SS 2014):- Approximationsalgorithmen (7.5 ECTS, Wanka, R.)
- Kommunikation und parallele Prozesse (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.)
- Termersetzungssysteme (7.5 ECTS, Goncharov, S.)
UnivIS-Module im kommenden Semester (WS 2014/2015):- Effiziente kombinatorische Algorithmen (7.5 ECTS, Wanka, R.)
- Formale Methoden der Softwareentwicklung (7.5 ECTS, Schröder, L.)
- Kryptologie und Protokollverifikation (7.5 ECTS, Milius, S.)
- Ontologien im Semantic Web (7.5 ECTS, Schröder, L.)
- Wavelet-Transformationen in der Bildverarbeitung - V+UE (7.5 ECTS, Strehl, V.)
- Wavelet-Transformationen in der Bildverarbeitung - V+UE+TE (10 ECTS, Strehl, V.)
UnivIS-Module im vergangenen Semester (WS 2013/2014):- Algebra des Programmierens (7.5 ECTS, Milius, S.)
- Effiziente kombinatorische Algorithmen (7.5 ECTS, Wanka, R.)
- Formale Methoden der Softwareentwicklung (7.5 ECTS, Schröder, L.)
- Logische Grundlagen der Datenbanktheorie (7.5 ECTS, Litak, T.)
- Ontologien im Semantic Web (7.5 ECTS, Schröder, L.)
- Wavelet-Transformationen in der Bildverarbeitung - V+UE (7.5 ECTS, Strehl, V.)
- Wavelet-Transformationen in der Bildverarbeitung - V+UE+TE (10 ECTS, Strehl, V.)
|