Computer Science and Mathematical Reasoning

The question is, what is intelligence and learning from the perspective of computer science and mathematical reasoning?

I think, prediction is the basic quality of intelligence, differentiation is the basic quality of learning.