Bewerte den Vorkurs
Hier kannst du bewerten, wie du den Vorkurs fandest
Danke für dein Feedback!
Vorkurs 2022
Willkommen auf der Website zum Vorkurs „Formale Methoden der Informatik“. Der Vorkurs findet in diesem Jahr von Montag, 05.09.2022 bis Freitag, 16.09.2022 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.
Update – 05. September
Wer in Quarantäne muss, o.ä. kann hier ein Online-Tutorium besuchen. Das sollte aber nicht die Regel sein!
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 2022/23 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 dabei lernen, was du im ersten Semester bestimmt anwenden kannst.
Wann ist denn nun der Vorkurs?
Von Montag, 05.09.2022 bis Freitag, 16.09.2022.
Jeweils Montags bis Freitags gibt es täglich eine Vorlesung von 11:00 bis 13:00. Dann habt ihr Mittagspause bis 14:00 und von 14:00 bis 16: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
- Zahlbereiche
- Beweistechniken (direkte, indirekte Beweise; Ringschluss; vollständige Induktion)
- Funktionen und Relationen
- Grundlegende algebraische Strukturen
Und was ist mit Programmieren?
Zum Thema Programmieren gibt es einen zweiten Vorkurs, direkt nach diesem (19.09. – 30.09.2022) mit dem Schwerpunkt Python. Alle Infos dazu hier.