Syllabus

SCC-1019 PROGRAMACIÓN LÓGICA Y FUNCIONAL

DR. JOSE MANUEL LIRA TURRIZA

jmlira@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.

Competencias Atributos de Ingeniería

Normatividad
  1. Cumplir con todos los trabajos marcados en clases y extra clases.
  2. Participar en el salón de clases cuando se le requiera.
  3. Tener el mínimo de asistencias requerido por la subdirección académica (80%)
  4. Tener un comportamiento de disciplina dentro del salón de clases.
  5. Estar a más tardar 15 min. después de la entrada del profesor, después de lo cual no se le dejará entrar

Materiales
  1. Material Syllabus.
  2. USB.
  3. Material adicional, en caso de que el docente lo indique.
  4. Libreta.
  5. Lápiz, goma de borrar y lapicero.

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.
                           Rubrica (26814 bytes)
                           Ejemplo de Geneticos (22873 bytes)
                           http://es.wikipedia.org/wiki/Programaci%C3%B3n_l%C3%B3gica
                           http://es.wikipedia.org/wiki/Programaci%C3%B3n_funcional
                           http://es.wikipedia.org/wiki/Prolog
                           http://en.wikipedia.org/wiki/Scheme_(programming_language)
                           http://en.wikipedia.org/wiki/Programming_paradigm
                          
          1.2. Evaluación de expresiones.
                   1.2.1. Evaluación de expresiones.
                           Definición de evaluación de expresiones (1413120 bytes)
                           Evaluación de expresiones (125818 bytes)
                           http://es.wikipedia.org/wiki/Algoritmo_gen%C3%A9tico
                          
          1.3. Definición de funciones.
                   1.3.1. Definición de funciones.
                           http://www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html
                           http://es.wikipedia.org/wiki/Algoritmo_gen%C3%A9tico#Funcionamiento
                           http://en.wikipedia.org/wiki/Scheme_(programming_language)#Fundamental_design_features
                          
          1.4. Disciplina de tipos.
                   1.4.1. Disciplina de tipos.
                           Prolog (226287 bytes)
                           fp-Scheme (345937 bytes)
                          
          1.5. Tipos de datos.
                   1.5.1. Tipos de datos.
                           Prolog: Tipo de Datos (119439 bytes)
                           http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-4.html#node_chap_2
                           http://en.wikipedia.org/wiki/Scheme_(programming_language)#Lambda_calculus
                           http://es.wikipedia.org/wiki/Scheme#Tipos_de_datos
                          
2. Programación Funcional.
          2.1. El tipo de datos.
                   2.1.1. El tipo de datos.
                           Articulo de Programación Funcional (84381 bytes)
                           Tipos de programación funcional (415171 bytes)
                           Tipo de datos (210004 bytes)
                           http://thales.cica.es/rd/Recursos/rd98/TecInfo/07/capitulo6.html
                           http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-1.html#node_toc_node_sec_2.4
                           http://emanchado.github.io/camino-mejor-programador/html/index.html
                           http://www.shido.info/lisp/idx_scm_e.html
                          
          2.2. Funciones.
                   2.2.1. Funciones.
                           Bloques de datos (239871 bytes)
                           http://www.dea.icai.upco.es/jarm/Asignaturas/PLC/4plc/tsld011.htm
                           http://www.dea.icai.upco.es/jarm/Asignaturas/PLC/4plc/sld012.htm
                          
          2.3. Intervalos.
                   2.3.1. Intervalos.
                           Codesys (534991 bytes)
                           http://www.dea.icai.upco.es/jarm/Asignaturas/PLC/4plc/sld013.htm
                           http://www.dea.icai.upco.es/jarm/Asignaturas/PLC/4plc/sld001.htm
                           http://es.wikipedia.org/wiki/CoDeSys
                          
          2.4. Operadores.
                   2.4.1. Operadores.
                           http://es.wikipedia.org/wiki/CoDeSys#Lenguajes_de_programaci.C3.B3n
                           http://es.wikipedia.org/wiki/Lenguaje_Ladder
                           http://es.wikipedia.org/wiki/Lenguaje_Ladder#Elementos_de_memoria
                          
          2.5. Aplicaciones de las listas.
                   2.5.1. Aplicaciones de las listas.
                           Configuración S7 (5066084 bytes)
                           Ver Pag. 26 (1602644 bytes)
                           http://www.infoplc.net/files/descargas/codesys/infoPLC_net_CodeSys_moeller.pdf
                          
          2.6. Árboles.
                   2.6.1. Árboles
                           http://upcommons.upc.edu/pfc/bitstream/2099.1/4136/2/Anexos.pdf
                           http://es.wikipedia.org/wiki/Heur%C3%ADstica_(inform%C3%A1tica)
                           http://es.wikipedia.org/wiki/Algoritmo_de_b%C3%BAsqueda
                          
3. Evaluación perezosa.
          3.1. La estrategia de evaluación perezosa.
                   3.1.1. La estrategia de evaluación perezosa.
                           Articulo de Caso (1361580 bytes)
                           http://en.wikipedia.org/wiki/Evaluation_strategy
                           http://en.wikipedia.org/wiki/Evaluation_strategy#Strict_evaluation
                           http://es.wikipedia.org/wiki/Evaluaci%C3%B3n_perezosa
                          
          3.2. Técnicas de programación funcional perezosa.
                   3.2.1. Técnicas de programación funcional perezosa.
                           http://en.wikipedia.org/wiki/Lazy_evaluation#Applications
                           http://en.wikipedia.org/wiki/Combinatory_logic
                           http://en.wikipedia.org/wiki/Lazy_evaluation#Laziness_and_eagerness
                          
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
                           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://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden#Sistema_formal
                           http://www.uhu.es/nieves.pavon/pprogramacion/temario/anexo/anexo.html
                          
          4.3. Cláusulas de Horn. Resolución SLD.
                   4.3.1. Cláusulas de Horn. Resolución SLD.
                           http://gpd.sip.ucm.es/jaime/pl/sld.pdf
                           http://www-2.dc.uba.ar/materias/plp/20062C/download/clase10.pdf
                          
          4.4. Programación lógica con cláusulas de Horn.
                   4.4.1. Programación lógica con cláusulas de Horn.
                           http://es.wikipedia.org/wiki/Cl%C3%A1usula_de_Horn
                           http://www.sc.ehu.es/jiwnagom/FLP/FLP-archivos/LengLogicos.pdf
                           http://wiki.lal.labf.usb.ve/Lenguajes/Wiki.jsp?page=Clausula%20de%20Horn
                          
          4.5. Semántica de los programas lógicos.
                   4.5.1. Semántica de los programas lógicos.
                           http://dialnet.unirioja.es/servlet/tesis?codigo=13007
                           http://cs.uns.edu.ar/~grs/Logica/007-2009.Semantica%20Declarativa.Color.pdf
                          
          4.6. Representación clausada del conocimiento.
                   4.6.1. Representación clausada del conocimiento.
                           http://cs.uns.edu.ar/~grs/Logica/006-2009.Semantica%20Operacional.Color.pdf
                           http://catarina.udlap.mx/u_dl_a/tales/documentos/msp/colmenares_g_le/capitulo3.pdf
                           http://es.wikipedia.org/wiki/Representaci%C3%B3n_del_conocimiento
                          
          4.7. Consulta de una base de cláusulas
                   4.7.1. Consulta de una base de cláusulas
                           http://es.wikipedia.org/wiki/Espacio_de_b%C3%BAsqueda
                           http://es.wikipedia.org/wiki/Algoritmo_de_b%C3%BAsqueda
                          
          4.8. Espacios de búsqueda.
                   4.8.1. Espacios de búsqueda.
                           http://es.wikipedia.org/wiki/Espacio_de_estados
                           http://www.control-class.com/Tema_9/Slides/Tema_9_Espacio_de_Estados.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.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-8.html#node_chap_6
                           http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-4.html#node_sec_2.2.3
                           http://www.shido.info/lisp/scheme1_e.html
                          
          4.10. Control de búsqueda en programas lógicos
                   4.10.1. Control de búsqueda en programas lógicos
                           http://es.wikipedia.org/wiki/Heur%C3%ADstica_(inform%C3%A1tica)
                           http://www.iiia.csic.es/~pedro/busqueda1-introduccion.pdf
                          
          4.11. Manipulación de términos. Predicados metalógicos.
                   4.11.1. Manipulación de términos. Predicados metalógicos.
                           http://www.sc.ehu.es/jiwhehum2/prolog/Temario/Tema4.pdf
                           http://campus.cva.itesm.mx/nazira/Tc1001/L%C3%B3gica%20de%20predicados.pdf
                          

Prácticas de Laboratorio (20232024P)
Fecha
Hora
Grupo
Aula
Práctica
Descripción

Cronogramas (20232024P)
Grupo Actividad Fecha Carrera

Temas para Segunda Reevaluación