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
312
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:

                                                                  Similar

                                                                  GCSE PE - 2
                                                                  lydia_ward
                                                                  Unit 1 Sociology: Family Types
                                                                  ArcticCourtney
                                                                  CHEMISTRY C1 6
                                                                  x_clairey_x
                                                                  Of Mice and Men
                                                                  becky_e
                                                                  Ebola Virus Disease
                                                                  rubyduggan
                                                                  Chemistry C1
                                                                  Chloe Winn
                                                                  Religious Studies- Matters of life and death
                                                                  Emma Samieh-Tucker
                                                                  How Parliament Makes Laws
                                                                  harryloftus505
                                                                  PSBD TEST # 3_1
                                                                  Suleman Shah
                                                                  Unit 203 Revision: Installation Technology Question Bank No.1
                                                                  Oliver Balay