Pensamiento Algorítmico: Programa de la Asignatura

Prerrequisitos: Ninguno Correquisitos: Ninguno

Justificación

Proporcionar al estudiante de ingeniería electrónica los conocimientos necesarios para que pueda aumentar su capacidad de análisis lógico deductivo y comprenda la modelación como el camino más viable para la solución de un problema. Crear las destrezas iniciales en la construcción y diseño de algortimos.

Objetivos

Aprender a utilizar la lógica como el mecanismo que permite la especificación de condicionales en los diferentes algoritmos que conforman un programa.

Entender la lógica como elemento de razonamiento que sustenta las investigaciones actuales en algunas áreas de la computación.

Despertar el sentido lógico deductivo de los estudiantes mediante la solución de problemas aplicados.

Generar modelos de pensamiento que permitan la construcción y diseño de algoritmos.

Habilidades que contribuye a desarrollar

Desarrollar el sentido lógico deductivo de los estudiantes mediante problemas de razonamiento.

Desarrollar el sentido interpretativo mediante expresiones lógicas que representan expresiones del lenguaje natural cotidiano.

Desarrollar habilidades básicas para la construcción de modelos algorítmicos.

Estratégias pedagógicas

El aprendizaje del contenido se realizará mediante clases magistrales. Lectura previa por parte del estudiante. Las clases se acompañan de quices, talleres y parciales para el reforzamiento y verificación del proceso de aprendizaje. Se incentivará la investigación y la competitividad mediante trabajo y participación en clase.

Contenido

Cálculo proposicional (4 Semanas)

Inducción. Proposiciones. Conexiones lógicas.
Proposiciones compuestas. Fórmulas bien formadas. Tautologías y contradicciones.
Equivalencias lógicas. Formas Normales.
Reglas de inferencia y deducción proposicional. Demostraciones.
Cláusulas y resolución básica.

Cálculo de predicados. (4 Semanas)

Componentes sintácticos del cálculo de predicados.
Fórmulas bien formadas, interpretación y validez. Demostraciones.
Derivaciones y equivalencias.
Formas normales y fórmulas de Skolem.
Cláusulas y resolución.

Soluciones algorítmicas (4 Semanas)

Concepto de algoritmo.
Fases en la resolución de problemas.
Problemas matemáticos con solución algorítmica.

Recursos algorítmicos. (2 Semanas)

Seudocódigo y diagrama de flujo.
Conceptos de programa.
Entrada y salida de datos.

Programación estructurada y modular (3 Semanas)

Estructuras selectivas.
Estructuras repetitivas.
Subrutinas
Recurrencia
Evaluación

Primer Parcial
Segundo Parcial
Examen Final
Nota de profesor: Quices, talleres y trabajos.

Bibliografía

Grimaldi R. Matemáticas discretas y combinatoria. Addison Wesley, 1997
Suppes P. Introducción a la lógica matemática. Reverté, 1994.
Kolman B. Estructuras de matemáticas discretas para la computación.
Joyanes L. Fundamentos de programación: Algoritmos, estrucutras de datos y objetos. Mc Graw Hill, 2003.
Oviedo. Lógica de Programación. ECOE, 2001.
Brassard G. Fundamentos de Algoritmia. Pearson, 1997.
Grassman, W. K. Matemática discreta y Lógica. Prentice Hall 1997.