969726
Description
Mind Map by corazonsarahi, updated more than 1 year ago
|
Created by corazonsarahi
about 10 years ago
|
|
Fundamentos de la programación lógica.
- Repaso de la lógica de primer orden.
- Es
- Argumentos
- Sintaxis
- Caracteres
- Caracteres
- Reglas
- Axiomas
- Semantica
- Teoremas
- Axiomas
- Es
- Unificación y resolución.
- Es
- Se compone
- Determina
- Es
- Cláusulas de Horn y Resolución SLD.
- Es
- Sentencias
- Representan
- Es
- Programación lógica con cláusulas de Horn.
- Formulas
- Programa
- Formulas
- Semántica de los programas lógicos.
- Es
- Especifica
- Ejemplo
- Es
- Representación clausada del conocimiento.
- Representa
- Formas
- Representa
- Consulta de una base de cláusulas
- Formado
- Hechos y Reglas
- Clausula
- Formado
- Programación lógica con números listas y árboles.
- Basada en
- Estructura
- Utilizacion en prolog
- Basada en
- Control de búsqueda en programas lógicos
- Se define
- procesa
- Utiliza
- Se define
- Manipulación de términos. (Predicados metalógicos.)
- Varidacion
- Manipulacion
- Clasificacion
- Varidacion
- Alumna: Emily Arroyo
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.