Notion of Induction and Recursion in Mathematics and Computer Science