Syllabus
SCC-1019 PROGRAMACIÓN LÓGICA Y FUNCIONAL
MI. DANIEL ALBERTO PANTI GONZALEZ
dapanti@itescam.edu.mx
Semestre | Horas Teoría | Horas Práctica | Créditos | Clasificación |
8 | 2 | 2 | 4 | Ingeniería Aplicada |
Prerrequisitos |
*Conocimiento y aplicación de programación orientada a objetos para resolver situaciones reales | *Técnicas para obtener información | *Habilidades para la resolución de problemas | *Habilidades de manejo de paquetería Office (Power Point, Word), de facilidad de palabra, uso de referencias bibliográficas. |
Competencias | Atributos de Ingeniería |
Normatividad |
1.- El alumno tiene una tolerancia de 15 min. para entrar a clases, después de este tiempo se considerará como falta. 2.- Ante faltas colectivas el tema se dará por visto y el tema será calificado en el examen. 3.- El alumno deberá mantener siempre el respeto hacia sus compañeros y maestros. No se permiten palabras altisonantes. 4.- No se permite entrar al salón con alimentos y bebidas. 5.- No se permiten gorras, shorts; se le pedirá que se retire del salón la persona que no cumpla. 6.- Celulares en modo vibrador. 7.- Aretes en el caso de los varones no está permitido. 8.- Trabajos entregados pasadas las fechas límites no serán aceptados. |
Materiales |
1.- Computadora 2.- USB 3.- Libreta 4.- Lápiz 5.- Borrador 6.- Material adicional que el docente indique |
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.5.1 | |
PARCIAL 2 | De la actividad 2.1.1 a la actividad 3.2.1 |
Contenido (Unidad / Competencia / Actividad / Material de Aprendizaje) | |
1. Conceptos Fundamentales
1.1. Estilos de programación 1.1.1. Estilos de programación Recursos:
1.2. Evaluación de expresiones 1.2.1. Evaluación de expresiones Evaluación de expresiones (1510912 bytes) 1.3. Definición de funciones 1.3.1. Definición de funciones Definición de funciones 1.4. Disciplina de tipos 1.4.1. Disciplina de tipos Disciplina de tipos 1.5. Tipos de datos 1.5.1. Tipos de datos http://www.escet.urjc.es/~jurquiza/docs/Tema5_Parte1.pdf |
2. Programación Funcional
2.1. El tipo de datos 2.1.1. El tipo de datos Pág 7-15 2.2. Funciones 2.2.1. Funciones Pág 16-17 2.3. Intervalos 2.3.1. Intervalos Pág 20 2.4. Operadores 2.4.1. Operadores Pág 34 2.5. Aplicaciones de las listas 2.5.1. Aplicaciones de las listas Pág 20 2.6. Árboles 2.6.1. Árboles Pág 28 |
3. Evaluación Perezosa
3.1. La estrategia de evaluación perezosa 3.1.1. La estrategia de evaluación perezosa Pág 25-27 3.2. Técnicas de programación funcional perezosa 3.2.1. La estrategia de evaluación perezosa Pág 25-27 |
4. Fundamentos de la Programación Lógica
4.1. Repaso de la lógica de primer orden 4.1.1. Repaso de la lógica de primer orden http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden#Introducci.C3.B3n 4.2. Unificación y resolución 4.2.1. Unificación y resolución http://www.slideshare.net/JoseAAlonso/li2011t11-resolucin-en-lgica-de-primer-orden 4.3. Cláusulas de Horn. Resolución SLD 4.3.1. Cláusulas de Horn. Resolución SLD http://es.wikipedia.org/wiki/Cl%C3%A1usula_de_Horn http://en.wikipedia.org/wiki/SLD_resolution 4.4. Programación lógica con cláusulas de Horn 4.4.1. Programación lógica con cláusulas de Horn http://www.dtic.upf.edu/~rramirez/Logica/L06.pdf 4.5. Semántica de los programas lógicos 4.5.1. Semántica de los programas lógicos https://www.cs.us.es/cursos/lp/temas/tema-01.pdf 4.6. Representación clausada del conocimiento 4.6.1. Representación clausada del conocimiento https://www.cs.us.es/cursos/lp/temas/tema-03.pdf 4.7. Consulta de una base de cláusulas 4.7.1. Consulta de una base de cláusulas http://ldc.usb.ve/~emhn/cursos/ci3641/201009/Clases/19/clase19.pdf 4.8. Espacio de búsqueda 4.8.1. Espacio de búsqueda http://www.lcc.uma.es/~pacog/apuntes/pd/TemaI.pdf 4.9. Programación lógica con números, listas y árboles 4.9.1. Programación lógica con números, listas y árboles http://www.cs.us.es/~jalonso/cursos/pd-09/temas/tema-15-1x2.pdf 4.10. Control de búsqueda en programas lógicos 4.10.1. Control de búsqueda en programas lógicos http://www.saber.ula.ve/bitstream/123456789/16227/1/lm-u3.pdf 4.11. Manipulación de términos. Predicados metalógicos 4.11.1. Manipulación de términos. Predicados metalógicos http://cepes.uh.cu/~rey/udg/pd/Tema-Prog-Logica/pwlogweb056.ppt |
Prácticas de Laboratorio (20232024P) |
Fecha |
Hora |
Grupo |
Aula |
Práctica |
Descripción |
Cronogramas (20232024P) | |||
Grupo | Actividad | Fecha | Carrera |
Temas para Segunda Reevaluación |