1.1.- Máquinas de Turing (MTs): Linguaxes recursivas e recursivas enumerabeis. Funcións total e parcialmente recursivas. Hipótese de Church.
2.1.- Construcción de MTs.
2.- Paradigma Lóxico.
2.1.- Cálculo de predicados: Cuantificadores e sustitucións. Unificación. Resolución. Control e negación.
3.- Paradigma Funcional.
3.1.- Lambda Cálculo: Lambda términos. Reducción. Confluencia e noetherianidade.