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 (SoSe 2019)
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 8062 - Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
554511
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Belegung über PULS
Vorlesung
SoSe 2019
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
wöch. Montag 10:00 - 12:00
Beginn: 08.04.2019 Ende: 15.07.2019
Raum:
3.04. 1.02
Lehrperson:
Kreitz
14t. Mittwoch 10:00 - 12:00
Beginn: 17.04.2019 Ende: 10.07.2019
Raum:
3.04. 1.02
Lehrperson:
Kreitz
554521
Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Belegung über PULS
Übung
SoSe 2019
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
14t. Mittwoch 10:00 - 12:00
Beginn: 10.04.2019 Ende: 17.07.2019
Raum:
3.04. 1.02
Lehrperson:
Kreitz
Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq
Belegung über PULS
Vorlesung/Seminar
SoSe 2019 4 SWS
Einrichtung:
Institut für Informatik und Computational Science
Gruppe 1
Vormerken:
jetzt belegen / abmelden
Block keine Angabe
Raum:
Lehrperson:
Kreitz
,
Böhne
© Copyright HIS
Hochschul-Informations-System eG