Copy and Edit

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.
corazonsarahi
Mind Map by corazonsarahi, updated more than 1 year ago
corazonsarahi
Created by corazonsarahi about 10 years ago
300
0
0

Resource summary

Fundamentos de la programación lógica.
  1. Repaso de la lógica de primer orden.
    1. Es
      1. Argumentos
        1. Sintaxis
          1. Caracteres
          2. Reglas
            1. Axiomas
              1. Semantica
                1. Teoremas
              2. Unificación y resolución.
                1. Es
                  1. Se compone
                    1. Determina
                    2. Cláusulas de Horn y Resolución SLD.
                      1. Es
                        1. Sentencias
                          1. Representan
                          2. Programación lógica con cláusulas de Horn.
                            1. Formulas
                              1. Programa
                              2. Semántica de los programas lógicos.
                                1. Es
                                  1. Especifica
                                    1. Ejemplo
                                    2. Representación clausada del conocimiento.
                                      1. Representa
                                        1. Formas
                                        2. Consulta de una base de cláusulas
                                          1. Formado
                                            1. Hechos y Reglas
                                              1. Clausula
                                              2. Programación lógica con números listas y árboles.
                                                1. Basada en
                                                  1. Estructura
                                                    1. Utilizacion en prolog
                                                    2. Control de búsqueda en programas lógicos
                                                      1. Se define
                                                        1. procesa
                                                          1. Utiliza
                                                          2. Manipulación de términos. (Predicados metalógicos.)
                                                            1. Varidacion
                                                              1. Manipulacion
                                                                1. Clasificacion
                                                                2. Alumna: Emily Arroyo

                                                                  Media attachments

                                                                  Show full summary Hide full summary

                                                                  Want to create your own Mind Maps for free with GoConqr? Learn more.

                                                                  Similar

                                                                  Macbeth Quiz
                                                                  PatrickNoonan
                                                                  C1 - Formulae to learn
                                                                  Tech Wilkinson
                                                                  Characteristics and Climate of a hot desert
                                                                  Adam Collinge
                                                                  The Great Gatsby: Chapter Summaries
                                                                  Andrew_Ellinas
                                                                  The First, Second, Third and Fourth Crusades
                                                                  adam.melling
                                                                  Apresentações em Inglês
                                                                  miminoma
                                                                  The Strange Case of Dr. Jekyll and Mr. Hyde
                                                                  K d
                                                                  Using GoConqr to teach English literature
                                                                  Sarah Egan
                                                                  Introduction to the Atom
                                                                  Derek Cumberbatch
                                                                  Prueba de Integrales
                                                                  José William Montes Ocampo
                                                                  Groups Starter Pack
                                                                  Micheal Heffernan
                                                                  Browse Library