Foundation in Mathematics and Programming