null
US
Sign In
Sign Up for Free
Sign Up
We have detected that Javascript is not enabled in your browser. The dynamic nature of our site means that Javascript must be enabled to function properly. Please read our
terms and conditions
for more information.
Next up
Copy and Edit
You need to log in to complete this action!
Register for Free
969726
Fundamentos de la programación lógica.
Description
Mind Map on Fundamentos de la programación lógica., created by corazonsarahi on 04/06/2014.
Mind Map by
corazonsarahi
, updated more than 1 year ago
More
Less
Created by
corazonsarahi
almost 10 years ago
290
0
0
Resource summary
Fundamentos de la programación lógica.
Repaso de la lógica de primer orden.
Es
Argumentos
Sintaxis
Caracteres
Reglas
Axiomas
Semantica
Teoremas
Unificación y resolución.
Es
Se compone
Determina
Cláusulas de Horn y Resolución SLD.
Es
Sentencias
Representan
Programación lógica con cláusulas de Horn.
Formulas
Programa
Semántica de los programas lógicos.
Es
Especifica
Ejemplo
Representación clausada del conocimiento.
Representa
Formas
Consulta de una base de cláusulas
Formado
Hechos y Reglas
Clausula
Programación lógica con números listas y árboles.
Basada en
Estructura
Utilizacion en prolog
Control de búsqueda en programas lógicos
Se define
procesa
Utiliza
Manipulación de términos. (Predicados metalógicos.)
Varidacion
Manipulacion
Clasificacion
Alumna: Emily Arroyo
Media attachments
5tiabmmah42f5ctnd4aevtahouadw6rhlm5vs2oll757hbaoaxlq_0_0 (image/png)
descarga__1_ (image/jpg)
descarga__2_ (image/jpg)
descarga (image/jpg)
images__1_ (image/jpg)
descarga__3_ (image/jpg)
descarga__4_ (image/jpg)
simbolos (image/png)
descarga__5_ (image/jpg)
simbolos (image/png)
images__2_ (image/jpg)
descarga__6_ (image/jpg)
descarga__7_ (image/jpg)
descarga__8_ (image/jpg)
descarga__9_ (image/jpg)
descarga__10_ (image/jpg)
pisadas2.JPG (image/JPG)
Componentes_electronicos (image/jpg)
descarga__11_ (image/jpg)
descarga__12_ (image/jpg)
descarga__13_ (image/jpg)
mecanismos (image/jpg)
birrete_1_ (image/jpg)
descarga__14_ (image/jpg)
he (image/png)
og (image/png)
jbjkb_p (image/png)
bo (image/png)
descarga__15_ (image/jpg)
descarga__16_ (image/jpg)
conversa (image/jpg)
images__3_ (image/jpg)
descarga__17_ (image/jpg)
descarga__18_ (image/jpg)
ouo (image/png)
descarga__19_ (image/jpg)
descarga__20_ (image/jpg)
descarga__21_ (image/jpg)
descarga__22_ (image/jpg)
descarga__23_ (image/jpg)
descarga__24_ (image/jpg)
images__4_ (image/jpg)
images__5_ (image/jpg)
images__6_ (image/jpg)
yiou (image/png)
kb_p (image/png)
boluol (image/png)
voujoljv (image/png)
descarga__25_ (image/jpg)
descarga__26_ (image/jpg)
images__7_ (image/jpg)
bjb_pb (image/png)
jvlvl (image/png)
descarga__27_ (image/jpg)
descarga__28_ (image/jpg)
descarga__29_ (image/jpg)
descarga__31_ (image/jpg)
descarga__32_ (image/jpg)
descarga__33_ (image/jpg)
descarga__34_ (image/jpg)
descarga__35_ (image/jpg)
dciyhplh (image/png)
Show full summary
Hide full summary
Want to create your own
Mind Maps
for
free
with GoConqr?
Learn more
.
Similar
Tectonic Hazards flashcards
katiehumphrey
GCSE PHYSICS: Energy Transfer
magykman1998
PRACTICA EL SPEAKING DEL FIRST
Diana GE
River Landscapes
Chima Power
Business Studies - KEY TERMS
Dani Whitrick
Globalisation Case Studies
annie
Characters in "An Inspector Calls"
Esme Gillen
Erosion, Transportation and Deposition quiz - AQA GCSE Geography
chlopandactyl
Basic Immunology Principles
Robyn Hokulani-C
GCSE ICT Edexcel Flashcards
Sarah Bramley-Dymond
Power and Conflict Ozymandias
Sophia Hinchliffe
Browse Library