Vorkurs: Formale Grundlagen der Informatik

Eine allgemeine Beschreibung des Vorkurses, eine Eingliederung des Vorkurses in die Veranstaltungen zur Theoretischen Informatik und weitere hilfreiche Darstellungen finden Sie bei den „Lehrinformationen”.

Themen des Vorkurses

Viele Studierende der Informatik und verwandter Disziplinen, insbesondere während der ersten Studiensemester, wundern sich über den Umfang und die Art mathematisch-formaler Darstellungen. Der Vorkurs möchte darauf vorbereiten. Formale Fähigkeiten und Fertigkeiten, die teils aus der Schule bekannt sind, werden wiederholt und vertieft.

 

An vier Tagen einer Woche werden wir uns kompakt um folgende Themen kümmern:

  1. Rechnen: Gesetze und Regeln
  2. Modellieren und Formalisieren: Keine Angst vor Formalismen ... und etwas Logik
  3. Warum stimmt das eigentlich? Logik und Beweisverfahren
  4. Herangehen an Aufgaben aus Informatik und Mathematik

 

Der Vorkurs richtet sich vorrangig an Studienanfänger dieser Fachgebiete:

  • Informatik und Wirtschaftsinformatik
  • Sprach- und Texttechnologie bzw. Computerlinguistik und Digital Humanities.

 

Studieren Sie Informatik im Nebenfach oder sind Sie möglicherweise Oberstufenschüler und möchten mal in den Herbstferien in den Uni-Betrieb hineinschnuppern, so halten Sie zunächst Rücksprache mit dem Dozenten.