MÓDULO 3: FORMALIZACIÓN DEL CONOCIMIENTO

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

Horarios:

Lunes martes y jueves de 19h00 a 21h00

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

$180 + IVA (miembros)