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
Node1
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
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
552121
Advanced topics in cryptography and security
-
Prof. Dr. Kreitz
,
N.N.
Seminar
WiSe 2018/19
Institut für Informatik und Computational Science
,
Institut für Biochemie und Biologie
belegen/abmelden
554511
Kategorientheorie und Logik
-
Dr. rer. nat. Dipl.-Math. Richter
,
Richter
Vorlesung
WiSe 2018/19
Institut für Informatik und Computational Science
belegen/abmelden
554521
Kategorientheorie und Logik
-
Dr. rer. nat. Dipl.-Math. Richter
,
Richter
Übung
WiSe 2018/19
Institut für Informatik und Computational Science
belegen/abmelden
© Copyright HIS
Hochschul-Informations-System eG