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
298
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

                                                                  GRE Prep - Reading Comprehension
                                                                  Abood
                                                                  Blues, Beats & More! Quiz
                                                                  Mike'd
                                                                  20 Study Hacks To Improve Your Memory
                                                                  jen.sch.ca
                                                                  GCSE AQA Biology 2 Cells & Diffusion
                                                                  Lilac Potato
                                                                  AQA A2 Biology Unit 5 Chapter 11: Muscle Contraction
                                                                  Charlotte Lloyd
                                                                  Characters in "An Inspector Calls"
                                                                  Esme Gillen
                                                                  Parasitology - Practical
                                                                  Sole C
                                                                  Computer science quiz
                                                                  Ryan Barton
                                                                  ALL module 5 vocab
                                                                  Pamela Dentler
                                                                  GCSE AQA Physics 1 Energy & Efficiency
                                                                  Lilac Potato
                                                                  Specific Topic 7.3 Timber selection
                                                                  T Andrews
                                                                  Browse Library