Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Name: Generación y Chequeo
Uploaded: 2016-04-15T00:00:00-03:00
Description: Video de Generación y Chequeo de Programación Lógica en OpenFing.

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

Generación y Chequeo

Descargar

×

Iniciar en:

Terminar en:

15/04/2016

Todo el contenido de OpenFing es Creative Commons.