discrete mathematics for computer science 7166