Mathematics and computer science