Download Programación lógica funcional

Document related concepts

Philip Wadler wikipedia , lookup

Haskell wikipedia , lookup

Programación funcional wikipedia , lookup

Alice (lenguaje de programación) wikipedia , lookup

Wolfram (lenguaje de programación) wikipedia , lookup

Transcript
PROGRAMACIÓN LÓGICA
FUNCIONAL
Profesor
Joel Trejo
HORARIO
Martes
Viernes
10:00 - 11:00
09:00 – 11:00
HORARIO DE ASESORÍA

Verificar el horario de asesorías del profesor
OBJETIVOS



OBJETIVO COGNITIVO: Clasificar las
características de los lenguajes de programación
declarativa para dar solución a problemas
computacionales.
OBJETIVO PROCEDIMENTAL: Resolver
problemas computacionales utilizando el paradigma
declarativo para la implementación de dicho
paradigma.
OBJETIVO ACTITUDINAL: Fomentar la
disciplina para el análisis y solución de problemas
para el desarrollo de habilidades requeridas.
REQUISITOS
Algoritmos y estructuras de datos
 Programación Orientada a Objetos
 Matemáticas discretas

METODOLOGÍA DE EVALUACIÓN
Prácticas
 Exposiciones
 Tareas
 Participación
 Proyecto Final

EVALUACIÓN
Concepto
Porcentaje
Prácticas
30
Tareas
10
Exposiciones
20
Participación
10
Proyecto Final
30
FINAL
100
REGLAMENTO
10 minutos después de que el profesor ingrese al
salón ya no cuenta la asistencia.
 2 faltas (sin justificar) por periodo parcial pierde
derecho a presentar proyecto final

BIBLIOGRAFÍA
 Haskel
the craft of Functional
Programming
 The Art of Prolog
 Functional Programming in ML
 Introduction to Logic Programming
 Diversos artículos de investigación