Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge
 

CS 4860 Lecture 4: Refinement proofs and evidence construction

Englischsprachiges Material einer Logikvorlesung an der Cornell-University

lec-04.pdf — PDF document, 85Kb

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