Scribd
Cargar
441 vistas1 página

Programacion Logica y Funcional

El documento presenta un temario con 4 temas principales sobre diferentes estilos de programación, incluyendo conceptos fundamentales, el modelo de programación funcional, programación lógica y el modelo de programación lógica. Cada tema contiene varios subtemas a cubrir como tipos de datos, funciones, lógica de primer orden, resolución, representación clausada del conocimiento y manipulación de términos entre otros.

Cargado por

Adrian VC
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
441 vistas1 página

Programacion Logica y Funcional

El documento presenta un temario con 4 temas principales sobre diferentes estilos de programación, incluyendo conceptos fundamentales, el modelo de programación funcional, programación lógica y el modelo de programación lógica. Cada tema contiene varios subtemas a cubrir como tipos de datos, funciones, lógica de primer orden, resolución, representación clausada del conocimiento y manipulación de términos entre otros.

Cargado por

Adrian VC
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 1

TECNOLÓGICO NACIONAL DE MÉXICO

Secretaría Académica, de Investigación e Innovación


Dirección de Docencia e Innovación Educativa

Temario

No. Temas Subtemas


1 Conceptos Fundamentales. 1.1. Diferentes Estilos de programación.
1.2.Analizando diferentes de estilos de
programación
1.2.1 Evaluación de expresiones.
1.2.2 Tipos de datos.
1.2.3 Disciplina tipos.
1.2.4 Funciones.
2 Modelo de Programación Funcional. 2.1 Introducción al modelo de programación
funcional.
2.1. El tipo de datos.
2.2. Funciones.
2.3. Intervalos.
2.4. Operadores.
2.5. Aplicaciones de las listas.
2.6. Árboles.
2.7. Evaluación perezosa.
3 Programación lógica. 3.1. Repaso de la lógica de primer orden.
3.2. Unificación y resolución.
3.3. Cláusulas de Horn, resolución SLD.
3.4. Programación lógica con cláusulas de Horn.
4 Modelo de programación lógica. 4.1 Introducción al modelo de programación
lógica.
4.2. Semántica de los programas lógicos.
4.3. Representación clausada del conocimiento.
4.4. Consulta de una base de cláusulas.
4.5. Espacios de búsqueda.
4.6. Programación lógica con números, listas y
árboles.
4.7. Control de búsqueda en programas lógicos
4.8. Manipulación de términos.
4.9 Predicados mitológicos.

También podría gustarte