Mathematical Foundation of Computer Science – I