|
|
- Info
Termine
-
Übung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
(3.04.1.02, von 24.10.2013 10:00 bis 24.10.2013 12:00)
-
Übung, Prof. Dr. Kreitz, 14-täglich Do. 10:00-12:00, 3.04.1.02, !! entfällt am 19.12. 2013 und am 30.01.2014 !!
-
Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
(3.04.1.02, von 17.10.2013 10:15 bis 17.10.2013 11:45)
-
Vorlesung, Prof. Dr. Kreitz, 14-täglich Do. 10:15-11:45, 3.04.1.02, !! entfällt am 19.12. 2013 und am 30.01.2014 !!
-
Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
(3.04.1.02, von 18.10.2013 12:15 bis 18.10.2013 13:45)
-
Vorlesung, Prof. Dr. Kreitz, Fr. 12:15-13:45, 3.04.1.02 !! entfällt am 1.11.2013, am 20.12.2013 und am 31.01.2014 !!
|
-
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
|
