Direkt zum Inhalt | Direkt zur Navigation

Sektionen

Institut

Benutzerspezifische Werkzeuge

Anmelden

Sie sind hier: Startseite → Willkommen → Professuren → Ordentliche Professuren → Theoretische Informatik → Lehrveranstaltungen → Wintersemester 2016/2017 → Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme → Material → 02cucs-NuprlManual-06proof-editor.pdf

Theoretische Informatik

02cucs-NuprlManual-06proof-editor.pdf

02cucs-NuprlManual-06proof-editor.pdf — PDF document, 188Kb

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