Usuario:Offray/Pensamiento Algorítmico:Programa
Pensamiento Algorítmico: Programa de la Asignatura[editar]
Prerrequisitos: Ninguno Correquisitos: Ninguno
Justificación[editar]
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[editar]
Aprender a utilizar la lógica como el mecanismo que permite la especificación de condicionales en los diferentes algoritmos que conforman un programa.
Habilidades que contribuye a desarrollar[editar]
Desarrollar el sentido lógico deductivo de los estudiantes mediante problemas de razonamiento.
Estratégias pedagógicas[editar]
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[editar]
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[editar]
Primer Parcial
Segundo Parcial
Examen Final
Nota de profesor: Quices, talleres y trabajos.
Bibliografía[editar]
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.