Vorkurs "Informatik: Formale Methoden der Informatik"
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.
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)
01.
Termine
Von Montag, 02.09.2024 bis Freitag, 13.09.2024
Vorlesung
9:15 - 11:00 Uhr im Hörsaal IV der Meckenheimer Allee 176
Übungen
13:00 - 15:00 Uhr Die Übungsräume werden in der ersten Vorlesung bekannt gegeben und anschließend hier veröffentlicht.
Materialien
Die Vorlesungs- und Übungsmaterialen finden Sie unter: https://vorkurs.be-sser.de/
02.
Dozent*in
Jonas Cremer und Bettina Esser
03.
Beratung
Dr. Matthias Frank und Dr. Matthias Wübbeling
studienberatung@cs.uni-bonn.de
Fragen und Antworten
Sie haben Fragen? Wir haben schon viele Antworten für Sie!