Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge
Sie sind hier: Startseite → Willkommen → Professuren → Ordentliche Professuren → Theoretische Informatik → Lehrveranstaltungen → Sommersemester 2014 → Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese → Termine → Vorlesung Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese
 

Vorlesung Automatisierte Logik und Programmierung II: Beweisautomatisierung und Programmsynthese

Vorlesung/Übung, Prof. Dr. Kreitz, Mi. 9:30-13:00, 3.04.1.02

Was
Wann 16.04.2014
von 09:30 bis 13:00 Every week until 16.07.2014
Wo 3.04.1.02
Termin übernehmen vCal
iCal
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