Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge
 

Termine

Vorlesung Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese (3.04.1.02, von 16.04.2014 09:30 bis 16.04.2014 13:00)
Vorlesung/Übung, Prof. Dr. Kreitz, Mi. 9:30-13:00, 3.04.1.02
Artikelaktionen
Auf einen Blick
Lehrform diverse Formen
Empfohlen ab FS 6
Voraussetzungen Teilnahme an Automatisierte Logik und Programmierung I
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