La asignatura de "Modelos Formales de Procesos Cognitivos" tiene dos objetivos básicos: en primer lugar pretende ser una introducción de los distintos tipos de formalismos en que se pueden expresar las ideas teóricas sobre los procesos psicológicos (modelos de procesamiento de la información, conexionismo, matemáticas, modelos dinámicos, etc.) convirtiendo esas ideas teóricas en modelos; en segundo lugar, pretende mostrar las características que deben disponer 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 en las prácticas obligatorias para una adecuada comprensión de los conceptos) sino que pretende introducir al alumno en aspectos generales 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.

Se trata de una asignatura de carácter teórico-aplicado debido a que, además de encontrarse dentro de los primeros 60 créditos y ser de carácter introductorio, el alumno estudiará los conceptos básicos sobre los modelos formales de procesos cognitivos desde un punto de vista global así como diversos casos prácticos de modelización aplicada a funciones psicológicas (en las prácticas obligatorias).