Adquisición de los conocimientos básicos imprescindibles en lógica computacional para fundamentar los tres paradigmas de programación: imperativo, lógico y funcional. Desarrollo de las técnicas de programación asociadas a cada modelo de cálculo, con la mayor cobertura posible. No se usará inglés en clase, aunque algunas de las fuentes bibliográficas están en ese idioma.