Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...