Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving
2019
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.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI