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

Conceptos Básicos: Recursión

Compartir

×

Iniciar en:

Terminar en:

27/03/2016

Todo el contenido de OpenFing es Creative Commons.