El presente artículo es un informe de investigación doctoral que propone un modelo de la dinámica lógico–algorítmica para la resolución de problemas de programación computacional. Dicho modelo se distingue por revelar la doble modelación (matemática y computacional) que caracteriza la resolución de un problema de programación. Fue estructurado en cuatro dimensiones: construcción lógico–matemática, orientación matemático–algorítmica, estructuración algorítmico–generalizadora y validación algorítmico–computacional, las que son expresión de los movimientos internos de la citada dinámica y permiten revelar su transformación, encaminada a la formación del pensamiento algorítmico-computacional. El mismo ha servido de base para la elaboración de un sistema de procedimientos didácticos que permite orientar la formación del referido pensamiento. La principal novedad del modelo propuesto radica en haber revelado la lógica integradora entre la representación matemática de la situación problémica y la generalización de la representación pseudocodificada.