En esta asignatura se profundiza en los fundamentos de la computación, con especial énfasis en:
* Combinatoria y recursión (funciones generatrices, relaciones de recurrencia, y su aplicación en el diseño de algoritmos)
* Sistemas de tipos (especificación formal de los sistemas de tipos para conformar la semántica de los lenguajes de programación)
* Prueba de teoremas (introducción práctica a los asistentes de pruebas, tomando la formalización de sistemas de tipos como caso práctico)
(*)The teaching guide is the document in which the URV publishes the information about all its courses. It is a public document and cannot be modified. Only in exceptional cases can it be revised by the competent agent or duly revised so that it is in line with current legislation.
