Mathematical Foundation for Coumputer Science