Vorkurs "Informatik: Formale Methoden"
Kursbeschreibung
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.
Weitere Informationen und Materialien gibt es in Kürze hier!
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
- Cyber Security (B.Sc.)
- Informatik (B.Sc.)
- Informatik (Lehramt)
01.
Termine
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 in der ersten Vorlesung bekannt gegeben und anschließend hier veröffentlicht.
02.
Dozent*in
Bastian Stricker und Nicolas Sistig
03.
Beratung
Dr. Matthias Frank und Dr. Matthias Wübbeling
studienberatung@cs.uni-bonn.de
Eine Anmeldung zum Vorkurs ist nicht erforderlich.
Fragen und Antworten
Sie haben Fragen? Wir haben schon viele Antworten für Sie!