计算机科学中的数学