Einführung einiger mathematischer Grundbegriffe: Mengen, Relationen, Funktionen. Syntax und Semantik der Aussagenlogik und Prädikatenlogik. Grundbegriffe der Graphentheorie.