Theoretical Computer Science and Discrete Mathematics