1.1.- Máquinas de Turing (MTs): Lenguajes recursivos y recursivos enumerables. Funciones total y parcialmente recursivas. Hipótesis de Church.
2.1.- Construcción de MTs.
2.- Paradigma Lógico.
2.1.- Cálculo de predicados: Cuantificadores y sustituciones. Unificación. Resolución. Control y negación.
3.- Paradigma Funcional.
3.1.- Lambda Cálculo: Lambda términos. Reducción. Confluencia y noetherianidad.