Modulinformationssystem Informatik

 

Algorithmen und Programmierung XML

Masterprogramm im Schwerpunktbereich: Informatik-Masterprogramme

Beginn: WS08/09 / Research advisor: Prof. Dr. Rudolf Berghammer

Beschreibung:

Hauptsaechlicher Inhalt dieses Programms ist der Entwurf und die Programmierung von effizienten Algorithmen mittels formaler Methoden und unter Verwendung moderner Programmiersprachen und -paradigmen. Dies beinhaltet insbesondere eine Kombination von mathematischen Grundlagen (z.B. Logik, Ordnungstheorie, Algebra), Prinzipien des Algorithmenentwurfs, Spezifikationstechniken und Methoden der Programmentwicklung.

Voraussetzungen:

Kommentare:

Masterprogrammübersicht

WS08/09	MS0301 MS0402
SS09	MS0303 MS0901
WS09/10	MS0202

Masterprogrammübersicht nach Studienbereichen

Vertiefende Informatik-Grundlagen (IG)

• MS0301: Prinzipien von Programmiersprachen (empfohlen)
• MS0303: Deklarative Programmiersprachen (empfohlen)

Vertiefende theoretische Grundlagen (TG)

• MS0402: Ordnungen und Verbände (Pflicht)
• MS0202: Effiziente Algorithmen (Pflicht)

Informatik der Systeme (IS)

• MS0901: Parallele Algorithmen und Architekturen (empfohlen)

Mastervertiefungsbereich (MV)

Praktikum:

beim Research Advisor

Seminar:

beim Research Advisor

Masterarbeit:

beim Research Advisor

Allgemeine Grundlagen:

nach Wahl der Studierenden in Absprache mit dem Academic Advisor

Anwendungsfach:

nach Wahl der Studierenden in Absprache mit dem Academic Advisor