A lóxica e a inferencia están no fundamento da computación e o razonamento formal. O alumnado xa cursou as materias do bloque de Matemáticas e Programación, polo que xa está familiarizado co pensamento abstracto. Nesta materia se abordan as nocións fundamentais da lóxica (tales como as de verdade, negación, conectivas, deducción lóxica, etc.) e se adquirirá a capacidade de resolver inferencias en diferentes paradigmas lóxicos como a lóxica proposicional e a lóxica de primer orden. Introdúcese o paradigma da programación lóxica, as súas técnicas de programación e as súas aplicacións en ámbitos nos que proporciona plantexamentos e resolucións máis fáciles, naturais ou más apropiadas que as ofrecidas por outros paradigmas de programación.
Non se usará inglés na clase, aínda que algunhas das fontes bibliográficas están nese idioma.
