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 2022/23)
Seitenansicht wählen:
kurz
mittel
lang
Vorlesungsverzeichnis
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Bachelor of Science
Computational Science (Prüfungsversion ab WiSe 2019/20)
II. Aufbaumodule Informatik
INF-2060 - Logik, Berechnung und Komplexität
552121
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Belegung über PULS
Vorlesung/Übung
WiSe 2022/23
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Montag 12:00 - 14:00
Beginn: 17.10.2022 Ende: 06.02.2023
Raum:
2.70. 0.11
Dozent:
Kreitz
wöch. Dienstag 10:00 - 12:00
Beginn: 18.10.2022 Ende: 07.02.2023
Raum:
2.70. 0.11
Lehrperson:
Kreitz
© Copyright HIS
Hochschul-Informations-System eG