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 (Bachelor of Science)
(Po-Vers. 2009s | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
Studien-/Prüfungsleistungen:
- Theoretische Informatik (5 ECTS) (Prüfungsnummer: 37141)
(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)
(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)
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 10 Leistungspunkte
- Algebra des Programmierens (Vorlesung mit Übung) (Prüfungsnummer: 554143)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 Leistungspunkte
- Logische Grundlagen der Datenbanktheorie (Prüfungsnummer: 102249)
- Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 7.5 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.)
|