Vorkurs 2024

Willkommen auf der Website zum Vorkurs „Formale Methoden der Informatik“. Der Vorkurs findet in diesem Jahr von Montag, 02.09.2024 bis Freitag, 13.09.2024 statt.

Hier haben wir alle wichtigen Infos für euch zusammen gestellt. Außerdem könnt ihr über diese Seite das Skript und die Übungsaufgaben herunterladen.

Was ist dieses „Vorkurs“?

Ein Vorkurs ist ein Angebot für Erstsemester. Er soll den Übergang von Schule zu Uni erleichtern. Dabei werden ein paar bekannte Inhalte wiederholt, um alle auf den gleichen Stand zu bringen und neue Themen angeschnitten, damit diese im ersten Semester dann leichter fallen.

Für wen ist das relevant?

Für alle, die im Wintersemester 2024/25 an der Uni Bonn ein Studium in Informatik, Cyber Security oder Lehramt Informatik anfangen. Der Kurs ist nicht einfach eine „Nachhilfe“ – egal wie gut oder schlecht du in der Schule in Mathe warst, du wirst auf jeden Fall etwas neues lernen, was du im ersten Semester bestimmt anwenden kannst.

Wann ist denn nun der Vorkurs?

Von Montag, 02.09.2024 bis Freitag, 13.09.2024.
Jeweils Montags bis Freitags gibt es täglich eine Vorlesung von 9:00 bis 11:00. Dann habt ihr Mittagspause bis 13:00 und von 13:00 bis 15:00 finden Übungen in kleineren Gruppen von bis zu 20 Leuten statt.

Wo gehe ich dann hin?

Der Vorkurs findet in Bonn auf dem Campus Poppelsdorf statt. Wo genau siehst du hier.

Muss ich mich dafür vorher anmelden?

Nein. Es gibt keine verpflichtende Anmeldung, komm einfach zur ersten Vorlesung.

Ist das verpflichtend?

Nein, der Vorkurs ist ein komplett freiwilliges Angebot.

Was kommen denn so für Themen dran?

  • Mathematische Sprache, Rekapitulation bekannter Rechengesetze
  • Aussagenlogik, Prädikatenlogik
  • Zahlensysteme
  • Beweistechniken (direkte, indirekte Beweise; Ringschluss; vollständige Induktion)
  • Funktionen und Relationen
  • Grundlegende algebraische Strukturen (Gruppen, Körper, Ringe, …)

Und was ist mit Programmieren?

Zum Thema Programmieren gibt es einen zweiten Vorkurs, direkt nach diesem (16.09. – 27.09.2024) mit dem Schwerpunkt Python. Alle Infos dazu hier.