Discrete Mathematics in Computer Science