Recherche

Résultats de recherche

  1. Lógica matemática II: clásica, intuicionista y modal

    2801pg83v?file=thumbnail
    La description: Diseñado para estudiantes avanzados de matemáticas, filosofía y computación, este libro provee una introducción a la vez accesible, vasta y técnicamente sólida a los temas centrales de la lógica proposicional clásica, así como a algunas de sus extensiones o variantes. En cada caso, parte de un enfoque intuitivo que justifica...
    Assujettir: Lógica matemática and Logic, Symbolic and mathematical
    Créateur: Villegas Silva, Luis Miguel and Fernández de Castro Tapia, José Jorge Max
    Éditeur: Universidad Autónoma Metropolitana
    La langue: spa
    Año de publicación: 2011
    Déclaration des droits: Acceso Abierto
    Licence: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/book

  2. Combinatoria infinita

    C821gk26b?file=thumbnail
    La description: El libro combinatoria infinita está dedicado a tres grandes áreas de la Teoría de conjuntos moderna: las álgebras booleanas, los principios combinatorios y los grandes cardinales. El texto incorpora resultados recientes de estas materias y presenta una novedosa construcción de ultrapotencias de modelos de ZF, que permite la definición de...
    Assujettir: Álgebra boleana, Combinations (Mathematics), Algebra, Boolean, Combinaciones (Matemáticas), Combinatorial analysis, and Análisis combinatorio
    Créateur: Villegas Silva, Luis Miguel
    Éditeur: Plaza y Valdés and Universidad Autónoma Metropolitana
    La langue: spa
    Año de publicación: 2007
    Déclaration des droits: Acceso Abierto
    Licence: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/book

  3. Conjuntos y modelos: curso avanzado

    Gq67jr46f?file=thumbnail
    La description: El libro Conjuntos y modelos: curso avanzado, está dedicado a los alumnos de posgrado o del último año de licenciatura que en sus estudios utilicen la teoría de conjuntos o la lógica matemática. En este libro se cubren los fundamentos de la teoría de conjuntos y de la lógica matemática...
    Assujettir: Mathematical models, Modelos matemáticos, Set theory, and Teoría de conjuntos
    Créateur: Rojas Rebolledo, Diego, Miranda Perea, Favio Ezequiel, and Villegas Silva, Luis Miguel
    Éditeur: Universidad Autónoma Metropolitana
    La langue: spa
    Año de publicación: 2000
    Déclaration des droits: Acceso Abierto
    Licence: Atribucion-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
    Tipo de Recurso: info:eu-repo/semantics/book
    Serie: Libros de texto, manuales de prácticas y antologías