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, 04.09.2023 bis Freitag, 15.09.2023
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/
Anmeldung zum Kurs
Registrieren Sie sich und melden Sie sich anschließend zu diesem Kurs an unter: https://precampus.uni-bonn.de/goto_precampus_crs_12347.html
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!