LÓGICA COMPUTACIONAL

DESCRIPCIÓN

Este curso proporciona a los participantes habilidades y conocimientos fundamentales sobre los conceptos lógicos, reglas de deducción, tipos de razonamiento y su implementación en sistemas de información. A lo largo de tres unidades, los estudiantes exploran el pensamiento computacional, la lógica proposicional y su aplicación en sistemas informáticos, comprendiendo desde el modelo de la máquina de Turing hasta el álgebra de Boole. El objetivo es capacitar a los estudiantes para implementar sistemas de información utilizando técnicas de análisis y diseño de sistemas, abordando tanto el aspecto de software como el de hardware.

DURACIÓN

50 H.

MODALIDAD

VIRTUAL

CONTENIDO

Comprender los fundamentos de la lógica computacional, su uso y características a partir de normas y estándares.

Identificar las distintas estrategias de formalización y deducción en la lógica.

proposicional, siguiendo las especificaciones y modelos de referencia.

Adquirir los conocimientos avanzados en lógica proposicional, cumpliendo con la semántica de la misma y las principales aplicaciones de esta.

A QUIÉN VA DIRIGIDO

Cualquier persona interesada en comprender los fundamentos lógicos que subyacen a la programación y al pensamiento computacional. Y el desarrollo de habilidades fundamentales para el éxito en el mundo de la informática y la tecnología.

CERTIFICACIÓN OTORGADA

CERTIFICADO