Vorkurs: Formale Grundlagen der Informatik

Viele Studierende der Informatik und verwandter Disziplinen wundern sich über den Umfang und die Art mathematisch-formaler Darstellungen, insbesondere in den ersten Semestern.

In diesem Vorkurs sollen die formalen Fähigkeiten und Fertigkeiten, die aus der Schule bekannt sein sollten, wiederholt und vertieft werden. Wir werden uns an fünf Tagen kompakt um folgende Themen kümmern:

  1. Rechnen: Gesetze und Regeln
  2. Modellieren und Formalisieren: Keine Angst vor Formalismen
  3. Was ist hier schon logisch? Zum formalen Umgang mit der Logik
  4. Warum stimmt das eigentlich? Beweisverfahren
  5. Herangehen an Aufgaben aus Informatik und Mathematik.

Der Vorkurs richtet sich an

  • Neu-Immatrikulierte der Informatik und Wirtschaftsinformatik (Bachelor)
  • Neu-Immatrikulierte der Sprach- und Texttechnologie (Bachelor)
  • Neu-Immatrikulierte mit Nebenfach Informatik (nach Rücksprache).


Um eine (zusätzliche) Anmeldung per Email an Prof. Fernau wird gebeten, da erfahrungsgemäß nicht alle Neu-Studenten gleich einen Uni-Zugang haben.