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!

Wird geladen