Mathematics and Computer Science