Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Teórico 2024 Laboratorio 2024 Teórico 2016

Información del Curso. Conceptos Básicos

Conceptos Básicos: Unificación (parte 1)

Conceptos Básicos: Unificación (parte 2). Ejemplos

Conceptos Básicos: Recursión

Listas y Acumuladores

Conceptos Básicos: Aritmética

Fundamentos Teóricos: Lógica y Prolog

Fundamentos Teóricos: Programación Lógica

Fundamentos Teóricos: Resolución

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

Generación y Chequeo

Programación no determinista (Ejemplo)

Predicados Metalógicos

Cut Verde, Cut Rojo. Aplicaciones

Predicados Extralógicos

Metaintérpretes

Resolución de Juegos

Estructuras Incompletas

Gramáticas Lógicas

Programación Lógica Inductiva

Programación Lógica Probabilista

Predicados Metalógicos

Compartir

×

Iniciar en:

Terminar en:

16/04/2016

Todo el contenido de OpenFing es Creative Commons.