Este libro provee un tratamiento accesible, a la vez riguroso, de varios de los temas de lógica matemática intermedia y avanzada. Los capítulos iniciales tratan de la calculabilidad, en diferentes variantes, de los teoremas de incompletud de Gödel y de cómo puede usarse la lógica modal en la extensión de propiedades metamatemáticas. Los siguientes capítulos del libro forman una introducción a los conceptos y métodos fundamentales de la teoría de modelos, mientras que en la sección final se muestra el carácter fructífero de esta teoría con numerosas aplicaciones al álgebra. Un objetivo de la obra es incorporar al lector que ya tenga conocimientos elementales en lógica y teoría de conjuntos, y que esté dispuesto a dedicar tiempo a la solución de ejercicios, a la investigación de alto nivel y frontera. Para ello expone y desarrolla diversos temas que no es fácil encontrar en otros textos, tales como la teoría de los juegos, la teoría de Ehrenfeucht-Fraïsse, la lógica de la demostrabilidad y el forcing en teoría de modelos.
array(2) { [0]=> object(stdClass)#600 (11) { ["noshare"]=> bool(false) ["simehid"]=> string(32) "8d496aeafc6332939379716c7b0a0888" ["role"]=> object(stdClass)#602 (3) { ["code"]=> string(3) "A01" ["label"]=> string(28) "Menciones de responsabilidad" ["value"]=> string(5) "Autor" } ["name"]=> string(24) "Max Fernández de Castro" ["indentifier"]=> array(1) { [0]=> object(stdClass)#601 (3) { ["type"]=> object(stdClass)#603 (3) { ["code"]=> string(2) "01" ["label"]=> string(25) "Tipo de código de nombre" ["value"]=> string(16) "Propio / Privado" } ["name"]=> NULL ["value"]=> NULL } } ["nameinverted"]=> string(25) "Fernández de Castro, Max" ["gender"]=> object(stdClass)#596 (3) { ["code"]=> string(1) "m" ["label"]=> string(38) "Código de género, basado en ISO 5218" ["value"]=> string(9) "Masculino" } ["professionalaffiliation"]=> NULL ["prize"]=> NULL ["biography"]=> array(1) { [0]=> object(stdClass)#598 (2) { ["value"]=> NULL ["lang"]=> string(3) "spa" } } ["website"]=> NULL } [1]=> object(stdClass)#599 (11) { ["noshare"]=> bool(false) ["simehid"]=> string(32) "8d496aeafc6332939379716c7b0a09d8" ["role"]=> object(stdClass)#597 (3) { ["code"]=> string(3) "A01" ["label"]=> string(28) "Menciones de responsabilidad" ["value"]=> string(5) "Autor" } ["name"]=> string(26) "Luis Miguel Villegas Silva" ["indentifier"]=> array(1) { [0]=> object(stdClass)#594 (3) { ["type"]=> object(stdClass)#592 (3) { ["code"]=> string(2) "01" ["label"]=> string(25) "Tipo de código de nombre" ["value"]=> string(16) "Propio / Privado" } ["name"]=> NULL ["value"]=> NULL } } ["nameinverted"]=> string(27) "Villegas Silva, Luis Miguel" ["gender"]=> object(stdClass)#595 (3) { ["code"]=> string(1) "m" ["label"]=> string(38) "Código de género, basado en ISO 5218" ["value"]=> string(9) "Masculino" } ["professionalaffiliation"]=> NULL ["prize"]=> NULL ["biography"]=> array(1) { [0]=> object(stdClass)#593 (2) { ["value"]=> string(373) "Dr. Luis Miguel Villegas Silva: se desempeña como Profesor en la Universidad Autónoma Metropolitana plantel Iztapalapa. Ha publicado varios libros y artículos de investigación en revistas internacionales. Sus áreas de interés son la teoría de conjuntos (modelos núcleo y grandes cardinales), así como la lógica matemática (teoría de modelos, lógica abstracta)." ["lang"]=> string(3) "spa" } } ["website"]=> NULL } }
Teoría de conjuntos, lógica y temas afines I. Universidad Autónoma Metropolitana, 2013. Impreso. https://altexto.mx/teoria-de-conjuntos-logica-y-temas-afines-i-eb195.html.
Teoría de conjuntos, lógica y temas afines I. Universidad Autónoma Metropolitana, 2013, https://altexto.mx/teoria-de-conjuntos-logica-y-temas-afines-i-eb195.html, Accedida 19 Abr 2024.
Teoría de conjuntos, lógica y temas afines I. Universidad Autónoma Metropolitana, 2013 [En línea]. Disponible en: https://altexto.mx/teoria-de-conjuntos-logica-y-temas-afines-i-eb195.html
(2013). Teoría de conjuntos, lógica y temas afines I. Universidad Autónoma Metropolitana. https://altexto.mx/teoria-de-conjuntos-logica-y-temas-afines-i-eb195.html
Teoría de conjuntos, lógica y temas afines I. Universidad Autónoma Metropolitana, 2013. https://altexto.mx/teoria-de-conjuntos-logica-y-temas-afines-i-eb195.html
Teoría de conjuntos, lógica y temas afines I. Universidad Autónoma Metropolitana; 2013 [Citado 2024Abr19]. Disponible en: https://altexto.mx/teoria-de-conjuntos-logica-y-temas-afines-i-eb195.html
Destinatarios del contenido: Sin restricción