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)
3. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | Bachelorprüfung | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Theoretische Informatik)

Studien-/Prüfungsleistungen:

Theoretische Informatik (5 ECTS) (Prüfungsnummer: 37141)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (5 ECTS))
(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)
(englische Bezeichnung: 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: 37143)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (10 ECTS))
(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

Categories in Programming (Prüfungsnummer: 945618)
(englische Bezeichnung: Categories in Programming)

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

Monad-Based Programming (Prüfungsnummer: 845618)
(englische Bezeichnung: Monad-Based Programming)

Prüfungsleistung, mündliche Prüfung, Dauer: 20 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)
(englische Bezeichnung: Organic Computing)

Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 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 (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 kommenden Semester (WS 2015/2016):

• Effiziente kombinatorische Algorithmen (7.5 ECTS, Wanka, R.)
• Formale Methoden der Softwareentwicklung (7.5 ECTS, Schröder, L.)
• Nonclassical Logics in Computer Science (7.5 ECTS, Schröder, L., Litak, T.)
• 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 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.)