SMS dit: Discrete mathematics in computer science /