INCORPORACIÓN DEL PENSAMIENTO COMPUTACIONAL

DESCRIPCIÓN

Este curso ofrece a los participantes una comprensión profunda de los fundamentos de la lógica computacional y su aplicación en sistemas de información. A través de diversos recursos educativos, los estudiantes adquieren conocimientos sobre los principios lógicos subyacentes en las máquinas, así como sobre la representación binaria y sus aplicaciones prácticas. Además, exploran las reglas, símbolos y técnicas de validación de argumentos en lógica de primer orden, esencial para la computación digital.

DURACIÓN

20 H.

MODALIDAD

VIRTUAL

CONTENIDO

Justificación de la lógica: componentes y tipos de razonamiento, componentes de un cálculo lógico, semántica, justificación de la existencia de una lógica.

Cálculo de deducción natural de enunciados: lenguaje formal, mecanismo deductivo.

A QUIÉN VA DIRIGIDO

Cualquier persona interesada en desarrollar habilidades de resolución de problemas y pensamiento crítico. Y potenciar su capacidad para resolver desafíos en cualquier campo.

CERTIFICACIÓN OTORGADA

INSIGNIA