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
WiSe 2024/25
Anmelden
Node2
Sie sind hier:
Startseite
Vorlesungsverzeichnis (WiSe 2018/19)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Master of Science
Computational Science (Prüfungsversion ab WiSe 2013/14)
VIII. Vertiefungsmodule Informatik
Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese
552121
Advanced topics in cryptography and security
Belegung über PULS
Seminar
WiSe 2018/19
Einrichtung:
Institut für Informatik und Computational Science, Institut für Biochemie und Biologie
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Montag 10:00 - 12:00
Beginn: 15.10.2018 Ende: 04.02.2019
Raum:
3.04. 1.02
Lehrperson:
Kreitz
wöch. Mittwoch 10:00 - 12:00
Beginn: 17.10.2018 Ende: 06.02.2019
Raum:
3.04. 0.02
Lehrperson:
Kreitz
Gruppe 2
Vormerken:
jetzt belegen / abmelden
wöch. keine Angabe
Raum:
Lehrperson:
N.N.
554511
Kategorientheorie und Logik
Belegung über PULS
Vorlesung
WiSe 2018/19
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Donnerstag 14:00 - 16:00
Beginn: 18.10.2018 Ende: 07.02.2019
Raum:
3.04. 1.02
Lehrperson:
Richter
554521
Kategorientheorie und Logik
Belegung über PULS
Übung
WiSe 2018/19
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Mittwoch 12:00 - 14:00
Beginn: 17.10.2018 Ende: 06.02.2019
Raum:
3.04. 1.02
Lehrperson:
Richter
,
Richter
Einzel Mittwoch 12:00 - 14:00
Beginn: 07.11.2018 Ende: 07.11.2018
Raum:
3.01. H10
Lehrperson:
Richter
,
Richter
© Copyright HIS
Hochschul-Informations-System eG