Escoge la categoría

Lógica y teoría de conjuntos

  • Autor:

  • Editores:

  • Editorial:

  • Año de Edición:

  • Idioma:

  • Nº Páginas:

  • ISBN:

  • Formato:
    Comparte

    Por: $22.000,00ou X de


    Comprar
    bw-loacutegica-y-teoriacutea-de-conjuntos-u-de-antioquia-9789587149371
    Lógica y teoría de conjuntos
    Por: $22.000,00ou
    48x de $458,33
    sem juros
    ComprarVendedor Libreria de la U
    BW1031292483

    Lógica y teoría de conjuntos reúne notas de clase que han enriquecido durante años el curso que lleva este nombre en la Licenciatura en Matemáticas y Física, en la que los autores han sido parte activa como estudiantes y como docentes. El curso se ha enfocado en la formalidad de las matemáticas (lógica clásica) y en la interpretación de esta.  
     Los estudiantes tienen en sus manos un libro que les servirá de apoyo en el curso mencionado y en otros, como como Cálculo (conjuntos y relaciones) y Estadística (conjuntos), pero, sobre todo, lo encontrarán útil para los cursos de Análisis y de Sistemas y Estructuras (inducción, métodos de demostración, conjuntos) 

    Atributos LU

    TítuloLógica y teoría de conjuntos
    AutorDiana Patricia Acevedo Vélez, Juan Carlos Arango Parra
    Biografía del Autor

     Diana Patricia Acevedo Vélez 
     Licenciada en Matemáticas y Física, y magíster en Educación (línea de Matemáticas) de la Universidad de Antioquia. Docente de matemáticas de la Institución Educativa Alejandro Vélez Barrientos (Envigado) y docente de cátedra de la Universidad de Antioquia. 

     Juan Carlos Arango Parra 
     Licenciado en Matemáticas y Física de la Universidad de Antioquia, magíster en Matemáticas aplicadas y candidato a doctor en Ingeniería Matemática de la Universidad Eafit. Docente de tiempo completo adscrito a la secretaría de Educación de Medellín. Docente de cátedra de la Universidad de Antioquia y de la Universidad Eafit. 

    Tabla de Contenido

    Introducción
    Capítulo 1. Sistemas formales
    1.1 Profundización
    1.2 Ejercicios
    Capítulo 2. Lógica proposicional
    2.1 Proposiciones y conectores
    2.1.1 Proposiciones compuestas
    2.1.2 Tautologías, indeterminaciones y contradicciones
    2.1.3 Circuitos lógicos
    2.2 Ejercicios
    2.3 Sistema formal
    2.3.1 Alfabeto
    2.3.2 Reglas de formación
    2.3.3 Definiciones
    2.3.4 Axiomas
    2.3.5 Reglas de inferencia
    2.3.6 Teoremas
    2.4 Profundización
    2.5 Ejercicios
    2.6 Argumentación, razonamiento e inferencia
    2.7 Ejercicios
    Capítulo 3. Lógica cuantificacional
    3.1 Nociones preliminares
    3.2 Sistema formal
    3.2.1 Alfabeto
    3.2.2 Reglas de formación
    3.2.3 Definiciones
    3.2.4 Axiomas
    3.2.5 Reglas de inferencia
    3.2.6 Teoremas
    3.3 Inferencias
    3.4 Profundización
    3.5 Ejercicios
    Capítulo 4. Métodos de demostración
    4.1 Introducción
    4.2 Método directo
    4.2.1 Ejemplos de lógica proposicional
    4.2.2 Ejemplos de números pares e impares
    4.2.3 Ejemplos de relación de orden
    4.2.4 Ejemplos de divisibilidad
    4.2.5 Ejemplos de complejos
    4.3 Método del contraejemplo
    4.4 Método de casos
    4.5 Método del contrarrecíproco
    4.6 Método indirecto
    4.7 Inducción matemática
    4.8 Profundización
    4.9 Ejercicios

    TipoeBook
    ISXN9789587149371
    Año de Edición2020
    Núm. Páginas202
    Peso (Físico)0
    IdiomaEspañol
    Tamaño Archivo (Virtual)5.71
    Formato Electrónico (Virtual)PDF
    DRM (Virtual)

    Títulos Similares