Logic and Verification (BSc)

Personen

Prof. Dr. Jürgen Dix
Tobias Ahlbrecht, M.Sc.

Wichtig!

  • Vorlesungsbeginn: Montag, der 20. April um 10:00 Uhr.
  • Anmeldung: Anmeldung im StudIP-System erforderlich. Alle weiteren Informationen (News, Aufgabenzettel,...) werden dort bereitgestellt.
  • Die Vorlesung findet dieses Semester zunächst ohne Präsenz statt! Weitere Informationen in Stud.IP und Moodle.
  • Videoaufzeichnung: Vorlesung aus dem Sommer 2016

Übungen, Scheine und Prüfungen

  • Übungen: Die Lösungen müssen zum entsprechenden Abgabetermin abgegeben werden.
  • Teilnahmeschein: Abgabe der Aufgabenzettel in Gruppen von (bis zu) 2 Studierenden und mindestens 50% der Gesamtpunktzahl aller Aufgabenzettel **und** 20% der Punkte von jedem Zettel und 2 mal in der Übung "vorrechnen".
  • Prüfung: tba
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2020