LOGICA MATEMATICA SUPERIOR EN TEXTO PDF

Share Button

LOGICA Y TEORIA DE CONJUNTOS ,Lógica de primer orden , Introducción a la lógica matemática, Lenguajes formales de primer orden , Introducción a los lenguajes formales,Definición de lenguaje formal , Expresiones, términos y fórmulas, Variables libres y ligadas,Sustitución de variables, Consideraciones finales , Sistemas deductivos formales, El cálculo deductivo de primer orden, Reglas derivadas de inferencia, Técnicas de deducción, Teorías axiomáticas, Descriptores , Forma prenexa ,Consideraciones finales, Modelos, Verdad y validez lógica, Consistencia,La completitud semántica, Completitud sintáctica , La prueba del teorema de completitud ,Consecuencias del teorema de completitud,Consideraciones finales , Teoría de la recursión,Funciones recursivas, Relaciones recursivas, Conjuntos recursivos, N úmeros de Güdel ,Funciones parciales ,Máquinas de Turing, La tesis de Church-Turing, Consideraciones finales ,Teorías aritméticas,Definición y propiedades básicas, Algunos teoremas en teorías aritméticas,Expresabilidad y representabilidad, Incompletitud,El primer teorema de incompletitud, El segundo teorema de incompletitud , El teorema de Rosser , El teorema de Tarski , Otros resultados afines, El teorema de Church, Ecuaciones diofánticas, La lógica de la teoría de conjuntos,
Introducción a la teoría axiomática de conjuntos, Los axiomas de la teoría de conjuntos, La teoría de conjuntos de von Neumann-Bernays-Güdel, La teoría de conjuntos de Zermelo-Fraenkel, Los axiomas restantes de NBG y ZF, Los números naturales , Eliminación de descriptores , Modelos de la teoría de conjuntos, La consistencia de ZFC-Al, Consis NBG implica Consis ZFC,Consis ZFC implica Consis NBG, La formalización de la lógica en teoría de conjuntos , Lenguajes formales , Modelos , Lógica de segundo orden, El lenguaje de la teoría de conjuntos, Los teoremas de incompletitud, Modelos que son clases propias , La teoría de conjuntos , Introducción a la teoría de conjuntos , Números ordinales , La construcción de los ordinales ,Inducción y recursión transfinita , Funciones normales, La aritmética ordinal, La forma normal de Cantor , Relaciones bien fundadas , Conceptos básicos, Inducción y recursión transfinita , Conjuntos regulares , Átomos , Números cardinales , El axioma de elección, Cardinalidad ,La aritmética cardinal ,Sumas y productos infinitos, Cofinalidad , La exponenciación cardinal ,La exponenciación en ZFC, La hipótesis de los cardinales singulares,Cardinales fuertemente inaccesibles, Conjuntos cerrados no acotados , Conjuntos cerrados no acotados , Conjuntos estacionarios, Un teorema de Silver , Cardinales de Mahlo , Conceptos elementales de la teoría de conjuntos , Complementos sobre aritmética,Divisibilidad, Congruencias ,Cuerpos cuadráticos ,

CLICK AQUI PARA OTRA OPCION DE DESCARGA – VISUALIZACION