Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge
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 3: Evidence Semantics for (Intuitionistic) Propositional Logic
 

CS 4860 Lecture 3: Evidence Semantics for (Intuitionistic) Propositional Logic

Englischsprachiges Material einer Logikvorlesung an der Cornell-University

lec-03.pdf — PDF document, 67Kb

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