Vorkurse 2017
C-Programmierung: 4. - 15.9.2017
Formale Methoden: 18. - 29.9.2017
Vorlesung täglich 10-12 Uhr im Hörsaal 2, Römerstraße 164.
Übungen nachmittags ab 13 Uhr in den Seminarräumen bzw. Rechnerpools, Römerstraße 164.
Vorkurse Formale Methoden und C-Programmierung
Im September, d.h. 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 der Informatik vermitteln. Beide Vorkurse finden zeitlich vor der Einschreibung in den Studiengang statt. Anmelden kann man sich für dieses kostenfreie Angebot auf der folgenden Website:
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:
Die Vorkurse finden in dem o.g. Zeitraum montags bis freitags statt und bestehen aus jeweils einem Vorlesungs- und einem Übungsteil.
Vorkurs C-Programmierung
Eine Einführung in die Programmiersprache C.
Vorkurs Formale Methoden der Informatik
In dem Vorkurs sollen für die Informatik wichtige formale und mathematische
Grundlagen behandelt werden. Inhalte sind u.a.
- Zahlbereiche und Datentypen
- Grundlegende Algebraische Strukturen
- Mathematische Sprache
- Aussagenlogik, Prädikatenlogik, Kalküle
- Beweistechniken (direkte, indirekte Beweise; Ringschluss; vollständige Induktion
- Rekursion über natürlichen Zahlen
- Bäume
- Exponentialfunktionen und Logarithmen
