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
Node2
Vorlesungsverzeichnis
Vorlesungsverzeichnis (PDF)
Suche nach Veranstaltungen
Veranstaltungen - tagesaktuell
Ausfallende Veranstaltungen
Navigation ausblenden
Sie sind hier:
Startseite
Vorlesungsverzeichnis (WiSe 2016/17)
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 8062 - Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
551711
Compiler und Programmtransformation
Belegung über PULS
Vorlesung
WiSe 2016/17 6 SWS
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Mittwoch 12:00 - 14:00
Beginn: 19.10.2016 Ende: 01.02.2017
Raum:
3.04. 0.02
Lehrperson:
Bordihn
Einzel Mittwoch 12:00 - 14:00
Beginn: 08.02.2017 Ende: 08.02.2017
Raum:
3.04. 2.01
Lehrperson:
Bordihn
551721
Compiler und Programmtransformation
Belegung über PULS
Übung
WiSe 2016/17
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Freitag 12:00 - 14:00
Beginn: 28.10.2016 Ende: 10.02.2017
Raum:
3.04. 1.02
Lehrperson:
Bordihn
© Copyright HIS
Hochschul-Informations-System eG