2. Model of the algorithmic–logic dynamic to solve computer programming problems

Abstract

The present paper is a doctoral dissertation that proposes a model of the logical-algorithmic dynamic for computer programming problems solving. That model is distinguished for revealing the double modeling (mathematical and computational) that characterizes programming problems solving. The study was structured in four dimensions: logical-mathematical construction, algorithmic-mathematical orientation, algorithmic-generalizing structuring and algorithmic-computational validation which are the expression of the internal movements of that dynamics and allows revealing its transformation, addressed to the formation of algorithmic-computational thinking. It has been the basis for the creation of a system of didactic procedures that allow the orientation of the formation of the aforementioned thinking.  The main innovation of the proposed model lies on the revelation of the integrating logic between the mathematical representation of the problematic situation and the generalization of pseudo-encoded representations.