Lograr que el alumno adquiera:
− capacidad de análisis de problemas
− formalización de soluciones a problemas
− manipulación de expresiones formales
− pruebas de corrección de expresiones formales
− familiaridad con conceptos básicos de programación.