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.