the role of mathematics in computer science