• Ivorra Castillo Carlos - Pruebas de Consistencia

    El propósito de este libro es explicar las técnicas básicas para obtener pruebas de consistencia.
    Los requisitos para seguir este libro son un conocimiento básico de la lógica matemática (de primer orden), de la axiomática de la teoría de conjuntos, de la teoría de ordinales y cardinales y, en especial, de la exponenciación cardinal.

    Teoría básica y aplicaciones

    * Modelos de la teoría de conjuntos
    * El axioma de regularidad
    * Conjuntos constructibles
    * Extensiones genéricas
    * Cardinales en extensiones genéricas, entre otros.

    Cardinales Grandes

    * Cardinales medibles
    * Cardinales débilmente compactos
    * Constructibilidad relativa
    * Indiscernibles de Silver, entre otros.

    Tamao: 3.163 kb, Ciencia ,discreta-combinatoria ,Matemática , 2016-02-25

    Ivorra Castillo Carlos - Teoria de Cuerpos de Clases

    Sin reseña

    Tamao: 3.418 kb, Ciencia ,discreta-combinatoria ,Matemática , 2016-02-25

    Gorbatov V A - Fundamentos de La Matemática Discreta

    Descripción:
    El libro comprende cinco capítulos e incluye las partes principales de la matemática discreta moderna: los sistemas algebraicos, la lógica matemática, la teoría de grafos y mografos (hipergrafos), la teoría de autómatas y gramáticas formales, la teoría aplicada de algoritmos y el análisis de caracterización. Al final de cada capítulo se ofrecen problemas y ejercicios de dificultad distinta destinados para fijar los conceptos introducidos, algoritmos y construcciones examinados. El último capítulo se dedica a la parte central de la matemática discreta, es decir, al análisis de caracterización, la solución de cuyos problemas es la base en el diseño de los algoritmos óptimos y de apoyos eficientes matemático, de programas de información y técnico para los sistemas automatizados integrados, de uso en complejo, modernos de procesamiento de la información.

    Tamao: 45.159 kb, Ciencia ,discreta-combinatoria ,Matemática , 2013-12-12