TY  - THES
AU  - Rodríguez Núñez, Clara
A3  - López Fraguas, Francisco Javier
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/15192
AB  - El objetivo de este trabajo fue desarrollar un modelo de computabilidad basado en programación lógica pura. Se desarroló un modelo Turing-completo basado en este tipo de programación que nos permitió demostrar algunos resultados clásicos de la Teoría...
AB  - The goal of this project was to develop a computation model based on logic programming. We developed a Turing complete model based on this type of programs that allowed us to prove some of the classic results of Computability Theory.We established...
LA  - spa
KW  - Computabilidad
KW  - Programación lógica
KW  - Turing-completitud
KW  - Programa Universal
KW  - Conjunto recursivo
KW  - Teorema de Rice
KW  - Teorema s-m-n
KW  - Teorema de recursión
KW  - Teorema del Punto Fijo
KW  - Computability
KW  - Logic Programming
KW  - Turing complete
KW  - Universal Program
KW  - Recursive set
KW  - Rice Theorem
KW  - S-m-n Theorem
KW  - Recursion Theorem
KW  - Fixed Point Theorem
TI  - Una introducción a la Teoría de la Computabilidad desde una perspectiva de programación lógica
M3  - bachelor thesis
ER  -