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 → Klaursurergebnisse liegen vor

Theoretische Informatik

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

Klaursurergebnisse liegen vor

Die Ergebnsse der Klausur vom 14.2. liegen jetzt vor

Ich habe die Klausur endlich korrigiert. Alles Details sind im Bild rechts zu fiinden

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