Vorkurse 2023
Formale Methoden der Informatik und Python-Programmierung
Vor Beginn jedes Wintersemesters, finden zwei Vorkurse für unsere Bachelor-Erstsemester statt. Die Teilnahme an beiden Vorkursen wird dringend empfohlen, da sie wichtige Grundlagen für das Bachelorstudium in Informatik und Cyber Security vermitteln. Die Vorkurse finden in den unten genannten Zeiträumen montags bis freitags statt und bestehen aus jeweils einem Vorlesungs- und einem Übungsteil.
Vorkurs Formale Methoden der Informatik
Dieser Vorkurs richtet sich an die Erstsemesterstudierenden Informatik und Cyber Security. In dem Vorkurs sollen für die Informatik wichtige formale und mathematische Grundlagen behandelt werden. Inhalte sind u.a.
- Mathematische Sprache
- Aussagenlogik, Prädikatenlogik
- Zahlendarstellung in verschiedenen Basen
- Beweistechniken (direkte, indirekte Beweise; Ringschluss; vollständige Induktion)
- Funktionen und Relationen
- Grundlegende algebraische Strukturen
- Rekapitulation bekannter Rechengesetze
Termin: 04.09. - 15.09.2023
Webseite: https://www.uni-bonn.de/de/studium/organisation-des-studiums/studienstart/vorkurse/vorkurs-informatik-formale-methoden-der-informatik
Vorkurs Python-Programmierung
Termin: 18.09. - 29.09.2023
Wohnen in Bonn
Für alle zukünftigen Studierenden, die nicht aus Bonn kommen und an den Vorkursen teilnehmen, ist es wichtig, sich so früh wie möglich um ein Zimmer zu kümmern. Für Wohnheimzimmer kann man sich online auf den Seiten des Studentenwerks Bonn bewerben: Studierendenwerk Bonn.
