discrete mathematics 7517