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.
Subjects
