Der Kurs vermittelt den Studierenden die Grundlagen der Logik, Mengenlehre, Relationen und elementaren Zahlentheorie, die für das Verständnis der Informatik wesentlich sind.