PROGRAMACIN LGICA Y FUNCIONAL

Enero-Junio 2014 MTI. Rosa Imelda Garca Chi

Programacin Lgica y Funcional MTI. Rosa Imelda Garca Chi

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

Caracterizacin de la asignatura
La asignatura de Programacin Lgica y Funcional aporta al perfil del Ingeniero en Sistemas Computacionales
la capacidad de desarrollar habilidades para la generacin de soluciones automatizadas basadas en lenguajes de inteligencia artificial, considerando el entorno y la aplicacin de diversas tcnicas, herramientas y conocimientos.

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

Intencin didctica
Estimular el pensamiento creativo.

Trabajar con metodologas participativas y de reflexin colectiva.

Propiciar la solucin de problemas concretos.

Aprovechar los conocimientos que el estudiante adquiri en asignaturas anteriores. Propiciar en el estudiante la construccin e interiorizacin del conocimiento de los principios lgicos y funcionales de la programacin para el diseo de agentes inteligentes.

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

Competencia especfica:

Conocer los principios lgicos y funcionales de la programacin para identificarlos y aplicarlos en la resolucin de problemas a travs del diseo de agentes inteligentes.

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

CONTENIDO DE LA ASIGNATURA

UNIDAD 1

Conceptos Fundamentales

UNIDAD 2 UNIDAD 3
UNIDAD 4
Programacin Lgica y Funcional

Programacin Funcional

Evaluacin Perezosa Fundamentos de la Programacin Lgica

MTI. Rosa Imelda Garca Chi

Unidad 1: Conceptos Fundamentales

Competencia especfica a desarrollar

Identificar los paradigmas y lenguajes de programacin representativa.

Programacin Lgica y Funcional MTI. Rosa Imelda Garca Chi

Unidad 2: Programacin funcional

Conocer los principales puntos fuertes y debilidades del paradigma de programacin funcional Identificar los elementos de la programacin funcional. Aplicar la programacin funcional en la resolucin de problemas reales. Disear herramientas alternativas y complementarias de programacin

Competencia especfica a desarrollar

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

Unidad 3: Evaluacin perezosa

Competencia especfica a desarrollar

Conocer la evaluacin perezosa. Identificar la evaluacin perezosa como una de las funciones de la programacin representativa. Aplicar la evaluacin perezosa en la resolucin de problemas. Disear programacin con modularidad.
Programacin Lgica y Funcional MTI. Rosa Imelda Garca Chi

Unidad 4: Fundamentos de la programacin lgica

Competencia especfica a desarrollar Conocer las ventajas y desventajas del paradigma de programacin lgica. Identificar los elementos de la programacin lgica. Aplicar la programacin lgica en la resolucin de problemas reales. Disear sistemas expertos con programacin lgica

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

FUENTES DE INFORMACIN
1. NILSSON, N. J. Inteligencia Artificial. Una nueva sntesis. Mc Graw Hill. 2001. 2. POOLE, D., Mackworth, A. y Goebel, R. Computational Intelligence (A Logical Approach). Oxford University Press. 1998. 3. BRATKO, I. Prolog Programming for Artificial Intelligence (2nd ed.). Addison Wesley. 1990. 4. MITCHELL, T. M. Machine Learning. Mc Graw Hill. 1997. 5. FLACH, P. Simply Logical (Intelligent Reasoning by Example). John Wiley. 1994. 6. BIRD, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000. 7. FOKKER, Jeroen. Programacin Funcional. Universidad de Utrecht, Departamento de Informtica. 1995. 8. JULIAN, P., Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007. 9. HOGGER, C. Essentials of Logic Programming. Clarendon Press, Oxford. 1990. 10. BRATKO. Prolog Programming for Artificial Intelligence. Segunda Edicin). Addison Wesley. 1991. 11. STERLING & Shapiro. The art de Prolog. MIT. 1994. 12. LUCAS, P. y Gaag, L.v.d. Principles of Expert Systems. (AddisonWesley. 1991. Programacin Lgica y Funcional MTI. Rosa Imelda Garca Chi

Cmo se Trabajar en la Asignatura?

Las clases son presenciales en el horario establecido

Se utilizar la plataforma virtual de aprendizaje Moodle del Tec Valles

Encontrars Materiales por unidad Estrategias de Aprendizaje a realizarse

Todas las estrategias (actividades) se realizarn en la plataforma Moodle

Programacin Lgica y Funcional MTI. Rosa Imelda Garca Chi

Cmo accesar a la Plataforma Moodle del Tec Valles?

www.tecvalles.mx/moodle Elegir la categora
Ingeniera en Sistemas computacionales

Buscar la asignatura
Programacin Lgica y Funcional

Para matricularse
Se requiere una clave segn el grupo en el que est inscrito
Programacin Lgica y Funcional MTI. Rosa Imelda Garca Chi

Clave para matricularse a la materia

GRUPO ISI81A
Clave ISI81A2014

GRUPO ISI81B
Clave ISI81B2014

GRUPO ISI81C
Clave ISI81C2014

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi

FECHAS DE EVALUACIN
UNIDAD 1 Conceptos Fundamentales
UNIDAD 2 Programacin Funcional UNIDAD 3 Evaluacin Perezosa UNIDAD 4 Fundamentos de la Programacin Lgica
Programacin Lgica y Funcional

25 de febrero

1 de abril 6 de mayo
27 de mayo
MTI. Rosa Imelda Garca Chi

Por su atencin Gracias!

Programacin Lgica y Funcional

MTI. Rosa Imelda Garca Chi