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.