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 → CS 4860 Lecture 2: Formal logic and evidence

Theoretische Informatik

CS 4860 Lecture 2: Formal logic and evidence

Englischsprachiges Material einer Logikvorlesung an der Cornell-University

lec-02.pdf — PDF document, 57Kb

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