GUÍA DE COMPETENCIAS Y ACTIVIDADES

• UNIDAD 1

TEMA (S):

CORRECCIÓN DE PROGRAMAS

• Especificación de programas.

• Tripas de Hoare.

• Precondición más débil.

• Lenguaje GCL.

• Corrección de programas (asignación, condicionales e iterativos).

COMPETENCIAS DE LA UNIDAD:

• Identificar variables y/o parámetros relevantes en la dinámica del sistema, y así mismo descartar
aspectos irrelevantes, o de poca incidencia con el fin de llegar a modelos matemáticos que
permitan soluciones analíticas.
▪ Aplicar modelos matemáticos en el planteamiento de problemas.
▪ Construir y analizar argumentos matemáticos que modelan y analizan situaciones tanto abstractas
como físicas.
▪ Evaluar Sistemas de Tecnologías de Información, tanto software como hardware, a partir de
diferentes criterios.
▪ Abstraer información y comportamiento de objetos del mundo real, utilizando herramientas
formales, para la construcción de modelos que permitan el diseño de soluciones.
▪ Manejar sus sentimientos y pensamientos hacia el logro de sus metas y propósitos, sin perder de
vista la manera como esto se relaciona con las dinámicas sociales en que está inmerso.
▪ Actuar de manera autónoma, ética y responsable.
▪ Servirse de la autodisciplina para la ejecución de tareas de manera efectiva.
▪ Analizar la información asociada con un problema de decisión, con el fin de identificar las
relaciones principales entre los elementos que lo componen.

1 POLITÉCNICO GRANCOLOMBIANO
ACTIVIDADES

• SEMANA 1

ACTIVIDAD SEMANA INSTRUCTIVO

Cartillas Uno Leer y comprender los conceptos expuestos en las cartillas

Video diapositivas Uno Leer y comprender los conceptos expuestos en las video diapositivas.

Teleconferencia Uno Asistir a la teleconferencia de la semana.

• SEMANA 2

ACTIVIDAD SEMANA INSTRUCTIVO

Cartillas Dos Leer y comprender los conceptos expuestos en las cartillas.

Video diapositiva Dos Leer y comprender los conceptos expuestos en las video diapositivas.

Teleconferencia. Dos Asistir a la teleconferencia de la semana.

Video resumen. Dos Ver el resumen de la unidad uno.

ANÁLISIS Y VERIFICACIÓN DE ALGORITMOS 2