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 ![]()
1.2. Evaluación de expresiones 1.2.1. Evaluación de expresiones ![]() 1.3. Definición de funciones 1.3.1. Definición de funciones ![]() 1.4. Disciplina de tipos 1.4.1. Disciplina de tipos ![]() 1.5. Tipos de datos 1.5.1. Tipos de datos ![]() |
2. Programación Funcional
2.1. El tipo de datos 2.1.1. El tipo de datos ![]() 2.2. Funciones 2.2.1. Funciones ![]() 2.3. Intervalos 2.3.1. Intervalos ![]() 2.4. Operadores 2.4.1. Operadores ![]() 2.5. Aplicaciones de las listas 2.5.1. Aplicaciones de las listas ![]() 2.6. Árboles 2.6.1. Árboles ![]() |
3. Evaluación Perezosa
3.1. La estrategia de evaluación perezosa 3.1.1. La estrategia de evaluación perezosa ![]() 3.2. Técnicas de programación funcional perezosa 3.2.1. La estrategia de evaluación perezosa ![]() |
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 ![]() 4.2. Unificación y resolución 4.2.1. Unificación y resolución ![]() 4.3. Cláusulas de Horn. Resolución SLD 4.3.1. Cláusulas de Horn. Resolución SLD ![]() ![]() 4.4. Programación lógica con cláusulas de Horn 4.4.1. Programación lógica con cláusulas de Horn ![]() 4.5. Semántica de los programas lógicos 4.5.1. Semántica de los programas lógicos ![]() 4.6. Representación clausada del conocimiento 4.6.1. Representación clausada del conocimiento ![]() 4.7. Consulta de una base de cláusulas 4.7.1. Consulta de una base de cláusulas ![]() 4.8. Espacio de búsqueda 4.8.1. Espacio de búsqueda ![]() 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 ![]() 4.10. Control de búsqueda en programas lógicos 4.10.1. Control de búsqueda en programas lógicos ![]() 4.11. Manipulación de términos. Predicados metalógicos 4.11.1. Manipulación de términos. Predicados metalógicos ![]() |
Prácticas de Laboratorio (20232024P) |
Fecha |
Hora |
Grupo |
Aula |
Práctica |
Descripción |
Cronogramas (20232024P) | |||
Grupo | Actividad | Fecha | Carrera |
Temas para Segunda Reevaluación |