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

Instructor: Mgt. Mauricio Espinoza

Horarios: Lunes, martes y miércoles 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

$180 + IVA (miembros)