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 almost 11 years ago
310
0
0
1 2 3 4 5 (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

                                                                  0 comments

                                                                  There are no comments, be the first and leave one below:

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

                                                                  Similar

                                                                  AS Unit 1 Physics Flashcard Deck
                                                                  Callum McClintock
                                                                  GCSE English Literature: Of Mice and Men
                                                                  Andrea Leyden
                                                                  American West - Key Dates
                                                                  Rachel I-J
                                                                  FCE Practice Fill In The Blank
                                                                  Christine Sang
                                                                  CPA Exam Topics and breakdown
                                                                  joemontin
                                                                  Maths
                                                                  Emmet McDonald
                                                                  Of Mice and Men Quotes
                                                                  _Jess_
                                                                  An Inspector Calls - Inspector Goole
                                                                  Rattan Bhorjee
                                                                  GCSE AQA Chemistry Atomic Structure and Bonding
                                                                  mustafizk
                                                                  Macbeth Quotes To Learn
                                                                  Sophie Brokenshire
                                                                  Browse Library