La asignatura "Modelos Formales de Procesos Cognitivos" tiene dos objetivos básicos: en primer lugar pretende ser una introducción a los distintos tipos de formalismos en que pueden expresarse las ideas teóricas sobre los procesos psicológicos (modelos de procesamiento de la información, modelos dinámicos, conexionismo, matemáticos, redes neuronales, etc.) convirtiendo estas ideas teóricas en modelos formalizados (informáticos, lógicos o matemáticos); en segundo lugar, pretende exponer las características que deben tener esos modelos formales en Psicología para poder realizar predicciones precisas y rigurosas de los fenómenos psicológicos a partir de las derivaciones formales que se realizan desde cada modelo. En consecuencia, no pretende enseñar al alumno modelos concretos de procesos psicológicos (aunque se revisarán algunos de ellos para una adecuada comprensión de los conceptos en los trabajos obligatorios) sino que pretende introducir al alumno en aspectos generales y comunes a todos los modelos tales como los requisitos básicos para poder interpretar los modelos correctamente, o los requisitos formales que deben mostrar y que nos permiten diferenciarlos en función de su bondad de ajuste a los datos empíricos.