|
|
- Info
Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Vorlesung/Übung, Prof. Dr. Kreitz, Do. 10:15-11:45, 3.04.1.02
| Was |
|
| Wann |
20.10.2016
von
10:15
bis
11:45
Every week
until 09.02.2017
|
| Wo |
3.04.1.02
|
| Termin übernehmen |
vCal
iCal
|
|
-
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
|
