Top
Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
SoSe 2024
Anmelden
Node1
Vorlesungsverzeichnis
Vorlesungsverzeichnis (PDF)
Suche nach Veranstaltungen
Veranstaltungen - tagesaktuell
Ausfallende Veranstaltungen
Navigation ausblenden
Sie sind hier:
Startseite
Vorlesungsverzeichnis (SoSe 2019)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Master of Education
Informatik (Prüfungsversion ab WiSe 2013/14)
Wahlpflichtmodule
INF 7070 - Deklarative Problemlösung und Optimierung
INF 8010 - Verteilte Systeme
INF 8030 - Multimediale Systeme
INF 8032 - Pervasive Computing
INF 8033 - E-Learning
INF 8060 - Methoden des automatischen Schließens
INF 8061 - Kryptographische Verfahren und ihre Komplexität
INF 8062 - Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
INF 8063 - Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese
INF 8070 - Kognitive Technologien
© Copyright HIS
Hochschul-Informations-System eG