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 casi 10 años
290
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

                                                                  Francés - Vocabulario Básico
                                                                  maya velasquez
                                                                  9) Sport activities
                                                                  John Goalkeeper
                                                                  Flora microbiana comensal y patógena en el ser humano
                                                                  ana.karen94
                                                                  Advanced English II
                                                                  cristinaruizald
                                                                  SISTEMA REPRODUCTOR HUMANO
                                                                  laboratoriocienc
                                                                  Elementos de la música
                                                                  martha.celorio
                                                                  LA GLOBALIZACIÓN
                                                                  Sofia Ossa3876
                                                                  CONSTRUCTIVISMO Y APRENDIZAJE SIGNIFICATIVO
                                                                  sugeytellez2192
                                                                  Mapa mental dibujo en ingenieria
                                                                  richard varón
                                                                  Diagrama de Flujo Servicio de Peluqueria
                                                                  Ricardo Lugo
                                                                  DERECHO DE LOS NEGOCIOS I
                                                                  Alfonso Tester
                                                                  Explorar la Librería