Syllabus
SCC-1019 PROGRAMACIÓN LÓGICA Y FUNCIONAL
MGTI. EDUARDO JESUS MIGUEL MORENO CABALLERO
ejmmoreno@itescam.edu.mx
Semestre | Horas Teoría | Horas Práctica | Créditos | Clasificación |
8 | 2 | 2 | 4 | Ingeniería Aplicada |
Prerrequisitos |
|
Competencias | Atributos de Ingeniería |
Normatividad |
|
Materiales |
Software
|
Bibliografía disponible en el Itescam | |||||
Título |
Autor |
Editorial |
Edición/Año |
Ejemplares |
|
Parámetros de Examen | ||
PARCIAL 1 | De la actividad 1.1.1 a la actividad 1.1.5 | |
PARCIAL 2 | De la actividad 2.1.1 a la actividad 3.4.1 |
Contenido (Unidad / Competencia / Actividad / Material de Aprendizaje) | |
1. Conceptos Fundamentales.
1.1. Identificar los paradigmas y lenguajes de programación representativa. 1.1.1. Visualizar los diversos estilos de la programación. Iranzo, P. J. (2007). Programación Lógica Teoría y Práctica. Madrid, España: PEARSON. Págs.1-27 1.1.2. Identificar los conceptos básicos de la programación representativa. http://www.infor.uva.es/~calonso/IAI/PracticasProlog/Tema1/T1_Introduccion_Prolog.PDF http://www.gedlc.ulpgc.es/docencia/lp/documentacion/GB_Prolog.pdf 1.1.3. Reconocer las características de la programación representativa. http://elvex.ugr.es/decsai/intelligent/workbook/ai/PROLOG.pdf, Pag. 1-30 http://www.lcc.uma.es/~pacog/apuntes/pd/guia.pdf 1.1.4. Investigar, al menos, un lenguaje de programación representativa. Conceptos Fundamentales, Pag. 8-22 (5336174 bytes) http://www.nachocabanes.com/tutors/IntroProlog.html 1.1.5. Realizar mapa conceptual de los paradigmas y lenguajes de la programación representativa. http://www.infor.uva.es/~cvaca/asigs/docpar/intro.pdf, Pag. 1-14 |
2. Programación Funcional.
2.1. Conocer los principales puntos fuertes y debilidades del paradigma de programación funcional. 2.1.1. Identificar los conceptos básicos de la programación funcional. Iranzo, P. J. (2007). Programación Lógica Teoría y Práctica. Madrid, España: PEARSON. Págs.12-18 https://we.riseup.net/assets/68470/progFuncional-Slides.pdf, Págs. 1-7 2.1.2. Describir las características de la programación funcional. http://rua.ua.es/dspace/bitstream/10045/4032/1/tema02.pdf 2.2. Identificar los elementos de la programación funcional. 2.2.1. Reconocer la estructura y elementos de la programación funcional. https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf, PAG. 22-43 2.3. Aplicar la programación funcional en la resolución de problemas reales. 2.3.1. Aplicar los conceptos de la programación funcional para resolver un problema real, diseñando un programa sencillo. Haskell Presentacion (411459 bytes) https://openlibra.com/es/book/download/programacion-funcional-2011-2012, Págs.87-99 2.4. Diseñar herramientas alternativas y complementarias de programación. 2.4.1. Investigar; al menos, un lenguaje de programación representativa diferente al establecido para la materia. Haskell (198868 bytes) 2.4.2. Realizar mapa conceptual de los lenguajes de la programación funcional vistos en la materia. Scheme (3076054 bytes) |
3. Evaluación perezosa.
3.1. Conocer la evaluación perezosa. 3.1.1. Identificar los conceptos básicos de la evaluación perezosa. Págs. 44-46, https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf (5336174 bytes) 3.2. Identificar la evaluación perezosa como una de las funciones de la programación representativa. 3.2.1. Describir las técnicas de la programación funcional perezosa. Material tema(3.1.1) Págs. 47-49 https://prezi.com/lhnyd5gqlj_-/unidad-3-evaliacion-perezosa/ 3.2.2. Realizar mapa conceptual de la evaluación perezosa. Material tema(3.1.1) Págs. 44-49 3.3. Aplicar la evaluación perezosa en la resolución de problemas. 3.3.1. Investigar, al menos, una técnica de programación funcional perezosa vista en clase. https://www.cs.us.es/~jalonso/cursos/pd-09/temas/tema-10-1x2.pdf http://www.lcc.uma.es/~pepeg/mates/tema1.pdf 3.4. Diseñar programación con modularidad. 3.4.1. Aplicar una técnica de la programación funcional perezosa, para resolver un problema real a través de la modularidad en una situación sencilla. EJERCICIOS EJEMPLO HASKELL https://openlibra.com/es/book/download/piensa-en-haskell-ejercicios-de-programacion-funcional-con-haskell https://openlibra.com/es/book/download/programacion-funcional-2011-2012 https://openlibra.com/es/book/download/ejercicios-de-programacion-funcional-con-haskell |
4. Fundamentos de la programación lógica.
4.1. Conocer las ventajas y desventajas del paradigma de programación lógica. 4.1.1. Realizar mapa conceptual de la programación lógica. Página 50-55 URL:https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf (5336174 bytes) http://www.ecured.cu/Prolog_(Lenguaje_de_programaci%C3%B3n) 4.2. Identificar los elementos de la programación lógica. 4.2.1. Identificar los conceptos básicos de la programación lógica. Página 55-63 URL:https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf (5336174 bytes) http://gpd.sip.ucm.es/jaime/pl/sld.pdf 4.2.2. Describir las clausulas de Horn y resolución SLD, para identificar reglas de inferencia lógica y emplearlas en la representación del conocimiento. http://dit.upm.es/~gfer/ssii/rcsi/rcsisu39.html http://arantxa.ii.uam.es/~dcamacho/logica/recursos/manual_prolog.pdf 4.3. Aplicar la programación lógica en la resolución de problemas reales. 4.3.1. Aplicar la programación lógica para resolver un problema real, diseñando un sistema experto basado en el control de búsqueda lógica. Página 63-74 URL:https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf (5336174 bytes) 4.4. Diseñar sistemas expertos con programación lógica. 4.4.1. Reconocer los elementos de la semántica de la programación lógica para interpretar el conocimiento y aplicarlo en su representación. Página 74-90 URL:https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf (5336174 bytes) 4.4.2. Investigar, al menos, un lenguaje de programación lógica diferente al establecido para la materia. Página 74-90 URL:https://onedrive.live.com/redir?resid=9CB9B42F3546CCE9!27556&authkey=!AOhfXwHXx9Vv630&ithint=file%2cpdf (5336174 bytes) |
Prácticas de Laboratorio (20232024P) |
Fecha |
Hora |
Grupo |
Aula |
Práctica |
Descripción |
Cronogramas (20232024P) | |||
Grupo | Actividad | Fecha | Carrera |
Temas para Segunda Reevaluación |