Grundlagen der Logik in der Informatik (WS2026/27)

Vorlesung

Übungsbetrieb

  • Organisation: Dr. Thorsten Wißmann
  • Tutor:innen: Zisis Erkelentzis, Anika Mössner, Hannes Schulze, Carl Sörgel, Leon Vatthauer, Florian Wolski
  • Hier werden die aktuellen Übungsblätter in kleinen Gruppen von studentischen Tutor:innen vorgestellt.
  • Termine und Räume sind auf der entsprechenden Seite auf Campo zu finden.
  • Die Anmeldung und Material ist im StudOn-Kurs zu finden (Anmeldung ist noch nicht freigeschaltet).

Intensivübung

  • Dozent: Dr. Thorsten Wißmann
  • Hier können individuelle Fragen zu aktuellen und vergangenen Themen gestellt werden.
  • Termine, Räume und weitere Informationen: Campo / StudOn

Hilfsmaterial