000134440 001__ 134440
000134440 005__ 20240424142047.0
000134440 037__ $$aTAZ-TFG-2023-3732
000134440 041__ $$aspa
000134440 1001_ $$aLeón Muñoz, Cristina
000134440 24200 $$aCompleteness of first order logic (Gödel Completeness Theorem) and Löwenheim-Skolem Theorem
000134440 24500 $$aCompletitud de la lógica de primer orden (Teorema de Completitud de Gödel) y Teorema de Löwenheim-Skolem
000134440 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2023
000134440 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/
000134440 520__ $$aEn este trabajo de describe el sistema lógico de la lógica de primer orden y se prueba la completitud del mismo, resultado conocido como Teorema de Completitud de Gödel, además de otros resultados importantes de teoría de modelos como son los Teoremas de Löwenheim-Skolem que en la actualidad se pueden demostrar como corolarios del Teorema de Completitud de Gödel.<br /><br />
000134440 521__ $$aGraduado en Matemáticas
000134440 540__ $$aDerechos regulados por licencia Creative Commons
000134440 700__ $$aBarrera Esteban, Fernando$$edir.
000134440 700__ $$aMontaner Frutos, Fernando$$edir.
000134440 7102_ $$aUniversidad de Zaragoza$$b $$c
000134440 8560_ $$f798457@unizar.es
000134440 8564_ $$s317171$$uhttps://zaguan.unizar.es/record/134440/files/TAZ-TFG-2023-3732.pdf$$yMemoria (spa)
000134440 909CO $$ooai:zaguan.unizar.es:134440$$pdriver$$ptrabajos-fin-grado
000134440 950__ $$a
000134440 951__ $$adeposita:2024-04-24
000134440 980__ $$aTAZ$$bTFG$$cCIEN
000134440 999__ $$a20230904134743.CREATION_DATE