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 (SoSe 2021)
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 8063 - Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese
554611
Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese
Belegung über PULS
Vorlesung/Übung
SoSe 2021
Einrichtung:
Institut für Informatik und Computational Science, Institut für Physik und Astronomie
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Dienstag 12:00 - 14:00
Beginn: 13.04.2021 Ende: 20.07.2021
Raum:
Online. Veranstaltung
Lehrperson:
Kreitz
wöch. keine Angabe
Raum:
Lehrperson:
Kreitz
Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
Belegung über PULS
Vorlesung/Übung
SoSe 2021 4 SWS
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Dienstag 08:00 - 10:00
Beginn: 13.04.2021 Ende: 20.07.2021
Raum:
Online. Veranstaltung
Dozent:
Böhne
wöch. keine Angabe
Raum:
Dozent:
Böhne
wöch. Donnerstag 12:00 - 14:00
Beginn: 15.04.2021 Ende: 22.07.2021
Raum:
Online. Veranstaltung
Lehrperson:
Böhne
Gruppe 2
Vormerken:
jetzt belegen / abmelden
wöch. Dienstag 08:00 - 10:00
Beginn: 13.04.2021 Ende: 20.07.2021
Raum:
Online. Veranstaltung
Dozent:
Böhne
wöch. keine Angabe
Raum:
Dozent:
Böhne
wöch. Freitag 10:00 - 12:00
Beginn: 16.04.2021 Ende: 23.07.2021
Raum:
Online. Veranstaltung
Lehrperson:
Böhne
© Copyright HIS
Hochschul-Informations-System eG