Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Termine

Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (3.04.1.02, von 20.10.2016 10:15 bis 20.10.2016 11:45)
Vorlesung/Übung, Prof. Dr. Kreitz, Do. 10:15-11:45, 3.04.1.02
Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (3.04.1.02, von 19.10.2016 10:15 bis 19.10.2016 11:45)
Vorlesung, Prof. Dr. Kreitz, Do 8:40-10:10, 3.04.1.02 (ab 3.11.2016)
Artikelaktionen
Auf einen Blick
Lehrform diverse Formen
Empfohlen ab FS 6
Voraussetzungen Gute Logikvorkenntnisse dringend empfohlen. Teilnahme für Bachelorstudenten ab 5. Fachsemester nach Rücksprache möglich.
Benotet Ja
Punkte gesamt 6
davon praktisch 0
Sprache deutsch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Angewandte Informatik(4000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS