MÓDULO 3: FORMALIZACIÓN DEL CONOCIMIENTO

  • $180 + IVA (miembros)

    $200 + IVA (no miembros)

  • Moodle / ZOOM

    Online

  • 40 Horas

    Duración

  • 09 jul - 06 ago

    Fechas

  • 19h00 a 21h00

    Martes y jueves

  • Flexible

    Online

  • 40 Horas

    Duración

  • Módulo 3

    Duración

  • Cualquier información puede contactarse a nuestro correo electrónicos en el siguiente link

Inscribirse
Consultar

Instructor: Mauricio Espinoza


Horarios: Martes y jueves de 19:00 a 21:00


Formalización del Conocimiento
• Introducción al lenguaje formal de la Lógica de primer orden.
• El lenguaje de la lógica de proposiciones
• Teoría de conjuntos.
• Operaciones entre conjuntos
• Relación entre la teoría de conjuntos y la lógica de proposiciones
• El lenguaje de predicados.
• Construcción de fórmulas proposicionales y predicativas
• Formalización de razonamientos.
• Relación entre la teoría de conjuntos y la lógica de primer orden
• Lógicas no clásica