ListarProyectos de Grado por tema "TEOREMA DE KALMAR"
Mostrando ítems 1-1 de 1
-
Teorema de Kalmar a partir de un enfoque algebraico de todos los teoremas de completitud e incompletitud de Gödel
(2019)Los teoremas que se profundizan en el presente trabajo, son los dos teoremas de Kurt Gödel (1906-1978) primero el de Completitud para el Cálculo de Predicados de Primer Orden y segundo el de Incompletitud en Sistemas ...