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.

Themen 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

Zielgruppen

Cyber Security (B.Sc.)
Informatik (B.Sc.)
Informatik (Lehramt)