Sonderregelung "Verteilte Algorithmen" (gültig bis SS2010)

Die folgende Regelung wurde von der Studienkommission Informatik am 4.11.2009 beschlossen und wird im Februar 2010 im Mitteilungsblatt verlautbart.

Studierende des Masterstudiums "Technische Informatik" können an Stelle der Pflichtlehrveranstaltung "4.5/3.0 VU Verteilte Algorithmen" zwei der drei nachfolgend genannten Lehrveranstaltungen absolvieren, sofern diese im Sommersemester 2010 oder davor besucht wurden. (Ein Indikator für den Zeitpunkt des Besuchs ist das auf dem Zeugnis ausgewiesene Stoffsemester; dort sollte SS2010 oder früher angegeben sein.) Die Ersatzlehrveranstaltungen sind:

• 3.0/2.0 VU Komplexitätstheorie
• 3.0/2.0 VU SAT Solving und Erweiterungen
• 3.0/2.0 VU Semantik von Programmiersprachen

Der durch die Alternative entstehende Überhang von 1.5 Ects wird dem Vertiefungsfach des Masterstudiums "Technische Informatik" zugerechnet.