Mathematics in Programming