Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung | EKB DL