Adquisición dos coñecementos básicos imprescindibles en lóxica computacional para fundamentar os tres paradigmas de programación: imperativo, lóxico y funcional. Desenvolvemento das técnicas de programación asociadas a cada modelo de cálculo, coa maior cobertura posible. Non se usará inglés na clase, aínda que algunhas das fontes bibliográficas están nese idioma.
