Direkt zum Inhalt | Direkt zur Navigation

Sektionen

Institut

Benutzerspezifische Werkzeuge

Anmelden

Sie sind hier: Startseite → Willkommen → Professuren → Ordentliche Professuren → Theoretische Informatik → Lehrveranstaltungen → Wintersemester 2013/2014 → Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme → Aktuelles → Ausfalltermine beachten!

Theoretische Informatik

Aktuelles: Klaursurergebnisse liegen vor; Ausfalltermine beachten!; Doodle Terminverschiebung; Weiter…

Ausfalltermine beachten!

Wie in der Vorlesung angekündigt, fallen die Vorlesungen und/oder Übungen am 1.11.2013, 19./20.12.2013 und 30./31.01.2014 aus!

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