Allgemeine Informationen

Regelmäßig durchgeführte Veranstaltungen

• Vorlesungen
  • Compilerbau
  • Funktionale Programmierung
  • Logikprogrammierung
  • Semantik von Programmiersprachen
  • Modellierung verteilter Systeme
• Seminare über spezielle Aspekte der Lehr- und Forschungsgebiete, Praktika, etc.
  • Funktionales Programmieren in Haskell (Grundstudium)
  • Nebenläufige Programmierung in Erlang
  • Compilerbau-Praktikum
  • ggf. weitere Praktika im Bereich Programmiersprachen/Programmentwicklung
• Arbeitsgemeinschaften zu diversen Forschungsschwerpunkten

Prüfungsfächer

• Theoretische Informatik
• Vertiefungsgebiet Theorie der Programmierung (z.B. Semantik und Kontrollstrukturen von Programmiersprachen, Theorie verteilter Systeme)
• Vertiefungsgebiet Implementierung von Programmiersprachen (z.B. Compilerbau, funktionale Programmierung, Logikprogrammierung)

Ansprechpartner

Hinweise zu Prüfungen

Eine Prüfung im Diplomstudiengang Informatik erstreckt sich über 12 SWS (hierbei zählen nur Vorlesungen und nicht die Übungen). Es sollte wenigstens eine Vorlesung im Umfang V4 aus einem anderen Lehrstuhl vertreten sein. Über die Kombinationsmöglichkeiten gibt die Prüfermatrix Auskunft, die der Studienberater verwaltet.