Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Fundamentos Teóricos: Resolución y Árbol SLD

11/04/2016

Teórico 2024 Laboratorio 2024 Teórico 2016
1
Información del Curso. Conceptos Básicos
2
Conceptos Básicos: Unificación (parte 1)
3
Conceptos Básicos: Unificación (parte 2). Ejemplos
4
Conceptos Básicos: Recursión
5
Listas
6
Listas y Acumuladores
7
Conceptos Básicos: Aritmética
8
Práctico 1
9
Fundamentos Teóricos: Lógica y Prolog
10
Fundamentos Teóricos: Programación Lógica
11
Fundamentos Teóricos: Resolución
12
Fundamentos Teóricos: Resolución y Árbol SLD
13
Generación y Chequeo
14
Programación no determinista (Ejemplo)
15
Predicados Metalógicos
16
Cut
17
Cut Verde, Cut Rojo. Aplicaciones
18
Predicados Extralógicos
19
Metaintérpretes
20
Resolución de Juegos
21
Estructuras Incompletas
22
Gramáticas Lógicas
23
Programación Lógica Inductiva
24
Programación Lógica Probabilista

Todo el contenido de OpenFing es Creative Commons. Todos los derechos reservados.