Copiar y Editar

Fundamentos de la programación lógica.

Descripción

Mapa Mental sobre Fundamentos de la programación lógica., creado por corazonsarahi el 04/06/2014.
corazonsarahi
Mapa Mental por corazonsarahi, actualizado hace más de 1 año
corazonsarahi
Creado por corazonsarahi hace más de 10 años
302
0
0

Resumen del Recurso

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

                                                                  Recursos multimedia adjuntos

                                                                  Mostrar resumen completo Ocultar resumen completo

                                                                  ¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.

                                                                  Similar

                                                                  Nombres de Alimentos en Inglés
                                                                  maya velasquez
                                                                  100  años  de  Soledad
                                                                  JL Cadenas
                                                                  CONSTITUCIÓN ESPAÑOLA 1978
                                                                  Vic Vilve
                                                                  Mapas mentales con GoConqr
                                                                  maya velasquez
                                                                  CAMBIO CLIMATICO
                                                                  sharon esteban
                                                                  Historia de la Literatura
                                                                  katya Ceballos
                                                                  TEORÍAS DEL COMERCIO INTERNACIONAL
                                                                  Yuleni Fkgeghtrhrqwergw
                                                                  FARMACOCINETICA
                                                                  sofia collazos
                                                                  FGM-3. REALES ORDENANZAS PARA LAS FUERZAS ARMADAS (I)
                                                                  antonio del valle
                                                                  Web 2.0 and other emerging technologies applied to research
                                                                  patricia sarria
                                                                  Lectura afectiva básica
                                                                  darwin jaramillo
                                                                  Explorar la Librería