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 10 years ago
290
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

                                                                  'The Merchant of Venice' - William Shakespeare
                                                                  cian.buckley
                                                                  Food Chains and Food Webs Quiz
                                                                  Selam H
                                                                  Volcanoes
                                                                  1jdjdjd1
                                                                  HSC Economics
                                                                  lydia le
                                                                  Biology Unit 2 - DNA, meiosis, mitosis, cell cycle
                                                                  DauntlessAlpha
                                                                  Cultural Studies
                                                                  Emily Fenton
                                                                  Maths GCSE - What to revise!
                                                                  sallen
                                                                  GCSE AQA Biology - Unit 2
                                                                  James Jolliffe
                                                                  GoConqr Quick Guide to Getting Started
                                                                  Andrea Leyden
                                                                  Mapa Conceptual de Liderazgo
                                                                  gabbi.mendoza
                                                                  AN ECONOMIC OVERVIEW OF IRELAND AND THE WORLD 2015/16
                                                                  John O'Driscoll
                                                                  Browse Library