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.

Wann und Wo?

Von Montag, 07.09.2026 bis Freitag, 18.09.2026
Vorlesung:
9:15 - 11:00 – Uhr Hörsaal II der Meckenheimer Allee 176 (Eingang durch den Innenhof!)
Übungen:
12:00 - 15:00 Uhr – Die Übungsräume werden rechtzeitig bekannt gegeben. Die Zuordnung erfolgt in der ersten Vorlesung.

Themen des Vorkurses 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

Dozent*innen:

Bastian Stricker und Nicolas Sistig