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.
Universidade de Vigo
|
Reitoría |
Campus Universitario |
C.P. 36.310 Vigo (Pontevedra) |
España |
Tlf: +34 986 812 000