Title: Discrete Mathematics in Computer Science