Discrete mathematics for computer science | AbS