Mathematik für Informatiker 1:Logik und Diskrete Mathematik