Vorkurs "Informatik: Formale Methoden der Informatik"
Kursbeschreibung
In dem Vorkurs sollen für die Informatik wichtige formale und mathematisch Grundlagen behandelt werden.
Themen u.a.:
- Mathematische Sprache,
- Aussagenlogik, Prädikatenlogik,
- Zahlbereiche und Datentypen,
- Beweistechniken (direkte, indirekte Beweise; Ringschluss; vollständige Induktion),
- Funktionen und Relationen,
- Grundlegende algebraische Strukturen,
- Exponentialfunktionen und Logarithmen.
Zielgruppen
- Cyber Security (B.Sc.)
- Informatik (B.Sc.)
- Informatik (Lehramt)
01.
Termine
Von Montag, 06.09.2021 bis Freitag, 17.09.2021
Vorlesung
10-12 Uhr
Übungsgruppen
2 Stunden am Nachmittag
Weitere Informationen erhalten Sie nach der Anmeldung zum Kurs
02.
Dozent*in
Dr. Hassan Errami
03.
Beratung
N.N.
Anmelden
Anmeldung ab dem 1. August möglich
Fragen und Antworten
Sie haben Fragen? Wir haben schon viele Antworten für Sie!