Mathematical Foundation of Computer Science - I