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
Sie sind hier:
Startseite
Vorlesungsverzeichnis (SoSe 2022)
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)
IX. Wahlpflichtmodul
Logik, Berechnung und Komplexität
552021
Inferenz-Methoden
Belegung über PULS
Vorlesung/Übung
SoSe 2022
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Dienstag 12:00 - 14:00
Beginn: 19.04.2022 Ende: 26.07.2022
Raum:
2.70. 0.08
Lehrperson:
Kreitz
wöch. Montag 10:00 - 12:00
Beginn: 25.04.2022 Ende: 25.07.2022
Raum:
2.70. 0.08
Lehrperson:
Kreitz
Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
Belegung über PULS
Vorlesung/Übung
SoSe 2022 4 SWS
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
Einzel Dienstag 08:00 - 10:00
Beginn: 19.04.2022 Ende: 19.04.2022
Raum:
2.70. 0.05
Dozent:
Böhne
wöch. Montag 08:00 - 10:00
Beginn: 25.04.2022 Ende: 25.07.2022
Raum:
2.70. 0.10
Dozent:
Böhne
wöch. Dienstag 08:00 - 10:00
Beginn: 26.04.2022 Ende: 26.07.2022
Raum:
2.70. 0.10
Dozent:
Böhne
wöch. Donnerstag 12:00 - 14:00
Beginn: 21.04.2022 Ende: 28.07.2022
Raum:
2.70. 0.05
Lehrperson:
Böhne
Gruppe 2
Vormerken:
jetzt belegen / abmelden
Einzel Dienstag 08:00 - 10:00
Beginn: 19.04.2022 Ende: 19.04.2022
Raum:
2.70. 0.05
Dozent:
Böhne
wöch. Montag 08:00 - 10:00
Beginn: 25.04.2022 Ende: 25.07.2022
Raum:
2.70. 0.10
Dozent:
Böhne
wöch. Dienstag 08:00 - 10:00
Beginn: 26.04.2022 Ende: 26.07.2022
Raum:
2.70. 0.10
Dozent:
Böhne
wöch. Freitag 12:00 - 14:00
Beginn: 22.04.2022 Ende: 29.07.2022
Raum:
2.70. 0.05
Lehrperson:
Böhne
© Copyright HIS
Hochschul-Informations-System eG