Lade Daten...
iLearn
Cau-siegel-color-300

Resourcen

Die Coq-Dateien aus der Übung befinden sich in diesem Repository.

Termine

  • Vorlesung: Mo 10:15 - 11:45, LMS2 - R.Ü1; Do 12:15 - 13:45, LMS2 - R.Ü1 vom 10.04.2017 bis zum 16.07.2017
  • Übung: Mi 10:00 - 12:00, LMS2 - R.Ü1 vom 12.04.2017 bis zum 16.07.2017

Weitere organisatorische Informationen sowie eine Literaturliste finden Sie auf der Seite zur Vorlesung.

Skript

Das Skript zur Vorlesung, das laufend aktualisiert wird, kann innerhalb der Informatik-Domain heruntergeladen werden.

Übung

Bitte tragen Sie sich zunächst in der StudiDB in die Übungsgruppe ein. Wir werden Ihre Anmeldedaten anschließend automatisch am Dienstag, den 18.04., ins iLearn übernehmen.