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
- Cyber Security (B.Sc.)
- Informatik (B.Sc.)
- Informatik (Lehramt)
01.
Termine
Von Montag, 08.09.2025 bis Freitag, 19.09.2025
Vorlesung
9:15 - 11:00 Uhr im Hörsaal IX der Meckenheimer Allee 172
Ü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 vorauss. unter: https://vorkurs.be-sser.de/
02.
Dozent*in
Mona Lauter und Michael Kaibel
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!