Fähigkeiten zum Führen von Beweisen in der diskreten Mathematik für die Informatik