Temario de Programación Lógica y Funcional

Objetivo General

Proveer a los estudiantes de las bases teóricas y prácticas necesarias para la programación en paradigmas lógicos y funcionales, desarrollando su capacidad para resolver problemas complejos de manera efectiva.

Unidades y Temas

Unidad 1: Conceptos Fundamentales

• Tema 1.1: Introducción a la Programación Lógica y Funcional
• Tema 1.2: Historia y evolución de los paradigmas
• Tema 1.3: Comparación con otros paradigmas de programación

Unidad 2: Modelo de Programación Funcional

• Tema 2.1: Fundamentos de la programación funcional
• Tema 2.2: Funciones de primera clase y funciones de orden superior
• Tema 2.3: Recursión y estructuras de datos inmutables
• Tema 2.4: Evaluación perezosa (Lazy Evaluation)
• Tema 2.5: Aplicaciones de la programación funcional

Unidad 3: Programación Lógica

• Tema 3.1: Fundamentos de la programación lógica
• Tema 3.2: Sistemas formales y lógica de predicados
• Tema 3.3: Unificación y resolución
• Tema 3.4: Introducción a Prolog
• Tema 3.5: Aplicaciones de la programación lógica

Unidad 4: Modelo de Programación Lógica

• Tema 4.1: Desarrollo de programas lógicos
• Tema 4.2: Estrategias de búsqueda
• Tema 4.3: Optimización de programas lógicos
• Tema 4.4: Proyectos prácticos y casos de estudio

Recomendaciones para Innovar el Curso

Integración de Nuevas Tecnologías

• Lenguajes Modernos: Introducir lenguajes de programación funcionales y lógicos modernos como Haskell, Scala, y Clojure.
• Herramientas y Entornos de Desarrollo: Utilizar entornos de desarrollo interactivos como Jupyter Notebooks para Haskell y Prolog.

Aprendizaje Basado en Proyectos

• Proyectos Reales: Incluir proyectos basados en problemas del mundo real.
• Colaboración en Equipos: Fomentar el trabajo en equipo mediante proyectos colaborativos.

Recursos Adicionales y Material Didáctico

• Tutoriales en Línea y MOOCs: Incorporar recursos adicionales como cursos en línea de Coursera, edX, o Udacity.
• Bibliografía Actualizada: Actualizar la bibliografía recomendada y proporcionar eBooks a los estudiantes, libros no mas de 15 años y revistas 5 años de su publicación.

Evaluaciones y Retroalimentación

• Evaluaciones Continuas: Implementar evaluaciones formativas continuas.
• Rubricas Detalladas: Utilizar rubricas detalladas para evaluar proyectos y tareas.

Innovación en la Enseñanza

• Flipped Classroom: Aplicar el modelo de aula invertida.
• Gamificación: Incorporar elementos de gamificación.

Sugerencias Específicas por Unidad

• Unidad 1: Conceptos Fundamentales

  • Talleres interactivos y comparación práctica entre paradigmas.

• Unidad 2: Modelo de Programación Funcional

  • Proyectos de manipulación y análisis de datos y aplicaciones prácticas en la industria.

• Unidad 3: Programación Lógica

  • Casos de uso reales y uso de simuladores de lógica.

• Unidad 4: Modelo de Programación Lógica

  • Creación de sistemas expertos básicos y resolución de problemas complejos.

Referencias

• Pereira, P. A. (2015). Elixir Cookbook: Unleash the full power of programming in Elixir with over 60 incredibly effective recipes. Packt Publishing. ISBN 9781784397517.
• Cesarini, F., & Thompson, S. (2009). Erlang Programming. O'Reilly Media. ISBN 9780596518189.
• Cesarini, F., & Vinoski, S. (2016). Designing for Scalability with Erlang/OTP: Implement Robust, Fault-Tolerant Systems. O’Reilly Media. ISBN 9781449320737.
• St. Laurent, S. (2017). Introducing Erlang: Getting Started in Functional Programming (2nd ed.). O’Reilly Media. ISBN 9781491973370.
• Pd. https://www.cs.us.es/~fsancho/Blog/posts/Introduccion_Prolog.md

Utilerías

• GitHub Student Pack: GitHub Education Pack
• Publicación de código privado o público: Utiliza GitHub Gist. Se requiere una cuenta.
• Amazon Web Services: Obtén una "Beca de $100 USD" con recarga durante el semestre en AWS Academy.
• Subidas anónimas auto purgables: Utiliza file.io para subir archivos que se eliminarán automáticamente después de 2 meses.
• Generador de arte ASCII: Crea arte ASCII con ASCII Generator.
• Grabación de habilidades: Usa asciinema para grabar y compartir sesiones en la terminal.
• Herramientas de IA para optimizar entregas académicas: Explora Future Tools para encontrar herramientas útiles. El autor tiene un canal en YouTube y es de San Diego.