Usuario:Offray/Pensamiento Algorítmico:Programa

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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.

  • 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[editar]

    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[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)

    1. Inducción. Proposiciones. Conexiones lógicas.

    2. Proposiciones compuestas. Fórmulas bien formadas. Tautologías y contradicciones.
    3. Equivalencias lógicas. Formas Normales.
    4. Reglas de inferencia y deducción proposicional. Demostraciones.
    5. Cláusulas y resolución básica.
  • Cálculo de predicados. (4 Semanas)

    1. Componentes sintácticos del cálculo de predicados.

    2. Fórmulas bien formadas, interpretación y validez. Demostraciones.
    3. Derivaciones y equivalencias.
    4. Formas normales y fórmulas de Skolem.
    5. Cláusulas y resolución.
  • Soluciones algorítmicas (4 Semanas)

    1. Concepto de algoritmo.

    2. Fases en la resolución de problemas.
    3. Problemas matemáticos con solución algorítmica.
  • Recursos algorítmicos. (2 Semanas)

    1. Seudocódigo y diagrama de flujo.

    2. Conceptos de programa.
    3. Entrada y salida de datos.
  • Programación estructurada y modular (3 Semanas)

    1. Estructuras selectivas.

    2. Estructuras repetitivas.
    3. Subrutinas
    4. 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

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