Discrete Mathematics in Computer Science.