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:

1. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
2. 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

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

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

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)

Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 5 Leistungspunkte

Prüfung Termersetzungssysteme (Prüfungsnummer: 148641)

Prüfungsleistung, mehrteilige Prüfung, Dauer: 30 min, Zehntelnoten, 7.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

UnivIS-Module:

UnivIS-Module im aktuellen 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 kommenden Semester (SS 2015):

• Approximationsalgorithmen (7.5 ECTS, Wanka, R.)
• Categories in Programming (5 ECTS, Goncharov, S., Litak, T.)
• Kommunikation und parallele Prozesse (7.5 ECTS, Schröder, L.)
• Monad-Based Programming (7.5 ECTS, Goncharov, S.)
• 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 vergangenen 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.)