Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving

After analyzing the relation between mathematics and computer science and the place given to proof, logic and reasoning, we propose and discuss a framework for the study of their interactions based on the ck¢ model. Then, we exemplify this model in the analysis of a problem, making explicit a mathematical solution and an algorithmic solution.