Escoge la categoría

Matemáticas para informática. Incluye CD

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:
    Comparte

    Por: $30.000,00ou X de


    Comprar
    221_matematica_informatica_uden
    Matemáticas para informática
    Por: $30.000,00ou
    48x de $625,00
    sem juros
    ComprarVendedor Libreria de la U
    74322
    Esta obra tiene su origen en los cursos de Matemáticas Discretas y Lógica Matemática ofrecidos por el autor en los programas de Ingeniería de Sistemas y Matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica de primer orden. La segunda parte del texto está dedicada al sistema axiomático de Zermelo -Fränkel para la teoría de conjuntos. Un aspecto relevante de esta obra es la elaboración del software educativo MaXl, que se anexa como un producto del proyecto de investigación "Dos tópicos en matemáticas discretas", financiado por la " Universidad del Norte.La segunda parte del texto está dedicada al sistema axiomático de Zermelo -Fränkel para la teoría de conjuntos. Un aspecto relevante de esta obra es la elaboración del software educativo MaXl, que se anexa como un producto del proyecto de investigación "Dos tópicos en matemáticas discretas", financiado por la " Universidad del Norte.

    Atributos LU

    TítuloMatemáticas para informática. Incluye CD
    AutorIsmael Gutiérrez García
    Tabla de ContenidoI. Lógica Matemática

    1. Cálculo proposicional

    1.1. Un poco de historia

    1.2. Sintaxis
    1.2.1. Algoritmo de decisión
    1.2.2. Unicidad en la escritura de una fórmula
    1.2.3. Recursividad en fórmulas proposicionales

    1.3. Notación libre de paréntesis o polaca
    1.3.1. Algoritmo de decisión

    1.4. Un sistema deductivo

    1.5. Semántica
    1.5.1. Equivalencias y el principio de sustitución
    1.5.2. Formas normales

    1.6. Ejercicios

    2. Introducción a la lógica de primer orden

    2.1. Sintaxis
    2.1.1. L-términos
    2.1.2. L-fórmulas

    2.2. Semántica
    2.2.1. L-estructuras y subestructuras
    2.2.2. Homomorfismos
    2.2.3. La relación de satisfacción
    2.2.4. Validez universal  
    2.3. El teorema de completitud de Godel
    2.4. Ejercicios

    II. Teoría de Conjuntos


    3. El sistema axiomático ZF

    3.1. Preliminares y primeros axiomas
    3.2. Conjunto potencia y el producto cartesiano.

    3.3. Relaciones
    3.3.1. Relaciones de equivalencia

    3.4. Funciones

    3.5. Conjuntos parcialmente ordenados
    3.5.1. Relaciones de orden
    3.5.2. Conjuntos bien ordenados

    3.6. Los números naturales
    3.7. Ejercicios

    Bibliografía & referencias
    TipoLibro
    ISXN9789587410754
    Año de Edición2010
    Núm. Páginas188
    Peso (Físico)330
    Tamaño (Físico)16 x 24 cm
    URL Externa (uFilp o Target Definido)uflip_uninorte_matematica_para_informatica

    Títulos Similares