Fundamentos Teóricos: Resolución y Árbol SLD - Programación Lógica - OpenFing

Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Laboratorio 2024
Teórico 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

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

Compartir

×

Iniciar en:

Terminar en:

11/04/2016 Ver más

Docente

Dina Wonsever

Instituto

Computación

Transcripción

Buscar en la transcripción

Cargando transcripción...

Todo el contenido de OpenFing es Creative Commons.