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