Discrete Mathematics in Computer Science (WI23)