Rechengesetze für Mengen + Beweis -- Mathematik für Informatiker